In addition to FTANGLE’s usual output file—e.g.,
test.c
—additional files may be opened by means of the
‘@O’ (see ‘@O’: Open output file (global scope)) or ‘@o’ (see ‘@o’: Open output file (local scope)) commands.
Depending on the situation, some of these files may remain open
simultaneously. The maximum number of such files is controlled by ‘-ynf’.