/* * Translated from the Brainfuck program * "++[[+" */ procedure main() returns () { var head : int; var max_head : int; var mem : [int] int; head := 0; max_head := 0; mem[0] := 0; mem[head] := mem[head] + 1; mem[head] := mem[head] + 1; while (mem[head] != 0) { while (mem[head] != 0) { mem[head] := mem[head] + 1; } } }