;;; TOOL: run-interp
(module (memory (data "")))