Choisissez une approche :
En compilant e (valeur à affecter), x (adresse de l'objet) et le numéro du champ (PUSH(num)) dans cet ordre, puis en exécutant CWRITE
x.champ = e est compilé en empilant la valeur de e, l'adresse de x, le numéro du champ, puis en exécutant CWRITE pour écrire mem(addr_x + num(champ)) ← val_e.