Comment compiler l'affectation d'un élément de tableau (t[e1] = e2) en XVM ?

En compilant e2 (valeur), t (adresse du tableau) et e1 (indice) dans cet ordre, en ajoutant 1 à l'indice (PUSH(1); ADD), puis en exécutant CWRITE

t[e1] = e2 est compilé en empilant la valeur e2, l'adresse du tableau t, puis l'indice e1 augmenté de 1 (offset réel), et en exécutant CWRITE pour écrire mem(addr_t + e1+1) ← e2.