maybe it's brainf**, the pointer heavy formally verified brainfuck dialect