solana_libra_stdlib 0.0.0

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