module ExecBrainfuck

import StdEnv, Brainfuck

Start :: *World -> *World
Start world
# (io,world) = stdio world
# (program,io) = freadline io
# (ok,world) = fclose io world
# world = run (read program) [] world
# (io,world) = stdio world
# io = io <<< '\n'
# (ok,world) = fclose io world
= world