(^) inIfc => inTop (ifc+main block are acessible from C)
(^) bounded 'var' loops may be tight