export type u64 = number;