type int32_t = i32;
@nonportable()
export type uint64_t = u64;