typedef ... MEMORIA const MEMORIA Vuota = ...; MEMORIA Registra(IDENT id, REALE_ENORME re, MEMORIA m) /*ritorna la memoria ottenuta registrando in m l'associazione tra id ed re*/ REALE_ENORME Valore_Di(MEMORIA m, IDENT id) /*ritorna il valore associato ad id in m, si assume che ci sia sempre un'associazione per id in m */ ...