pub type integer64 = Struct_counter64;
#[repr(C)]pub struct integer64 { pub high: u64, pub low: u64, }
high: u64
low: u64