solana_libra_stdlib 0.0.0

module AddressUtil {
    native public address_to_bytes(addr: address): bytearray;
}