Type Definition xmas_elf::P32

type P32 = u32;