-record(memory_section, {memories :: list(gwr@syntax@module:memory())}).