-record(function, {
    type_ :: integer(),
    locals :: list(gwr@spec:value_type()),
    body :: list(gwr@spec:instruction())
}).