L'istruzione INVOKEVIRTUAL e' corretta. Sappiamo infatti che essa serve per invocare un nuovo metodo, e quindi lo stack [[dei dati]] deve contenere le variabili relative a quest'ultimo. All'invocazione del metodo lo stack e' considerato logicamente vuoto, quindi non avrebbe senso richiedere informazioni su TOS.

Alla fine dell'esecuzione del metodo e' l'istruzione IRETURN che si occupa di mantenere l'invariante TOS.
[[[Non e' IRETURN che si preoccupa di mantenere l'invariante TOS. Chi e'? e perche' IRETURN non fa alcun assegnamento a TOS? FB]]] Soluzione (By Narzisi and Riela)