Ta struktura tam stejně bude. I v trasovaných jazycích obvykle nebude např. graf jen ad-hoc hromada objektů pro uzly a hrany, ale bude tam i objekt pro graf, ze kterého bude přístup na všechny uzly a hrany toho grafu.
Trasované jazyky zase neumí jiné věci. Třeba je problém s nedeterministickým úklidem. Sockety, soubory a podobné věci nemůže uklízet GC, protože nesmí zůstat viset. Takže tam bude muset být velmi podobná další struktura, přes kterou se jedním voláním proleze a uklidí celý ten graf.
Vždycky budou potřeba nějaké další struktury, které řeší implementační detaily a to bez ohledu na jazyk nebo prostředí. A to jenom proto že každé VM může umět jen omezenou množinu vzájemně kompatibilních věcí.