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