-record(module_instance, {
    types :: list(gwr@syntax@types:function_type()),
    function_addresses :: list(gwr@execution@runtime:address()),
    table_addresses :: list(gwr@execution@runtime:address()),
    memory_addresses :: list(gwr@execution@runtime:address()),
    global_addresses :: list(gwr@execution@runtime:address()),
    element_addresses :: list(gwr@execution@runtime:address()),
    data_addresses :: list(gwr@execution@runtime:address()),
    exports :: list(gwr@execution@runtime:export_instance())
}).