ARRAY[6..7] OF BOOL [...] ] OF INT; var3 : REFERENCE TO INT; i

_INPUT iVar_fb1in1 : INT; ivar_fb1in2 : INT; r [...] _OUTPUT iVar_fb1out:INT