Brainfuck specification and optimization.
Multiple-tape Brainfuck implemented.