Add bin.bf for brainfuck and use static ESIL struct