-record(memory, {type_ :: gwr@syntax@types:limits()}).