Type Definition xmas_elf::P64

type P64 = u64;