TODO: VOLKER SORGE 0) factorize lin_fetch_function and graph_fetch_function and maybe also lin_fetch_statement and graph_fetch_statement 1) bug rappresentazione dei pointer come address 2) traduzione LINToASM ed etichetti uniche 3) funzioni esterne 3.1) CSC bug in joint/semantics.ma 3.2) semantica tail calls to external functions 4) codice ERTLToLTL da abbellire 2) spurious PUSH/POP in the syntax, 3) spurious entry/exit label in the syntax 4) spurious sp/isp field in the semantics of all languages but/only RTL Assiomi traduzione in: - LINToASM: fresh_prefix