SystemBrainfuck specification and simulator