decl at the beginning (for pointed values)
reg reuse bin op
beg Type()
Type()
and + corr IfInp.out bug