[]Type Definition skellige::prelude::libc::Elf64_Addr

type Elf64_Addr = u64;