module U64Util {
    native public u64_to_bytes(i: u64): bytearray;
}