Le langage Pascal est typé de façon monomorphe. C'est-à-dire deux valeurs
de type différents sont forcément à des emplacements-mémoire différents.
D'autre part, deux indices différents d'un tableau désignent toujours
des emplacements-mémoire différents, même si les tableaux sont du même type
voire identiques.
Ces informations (de types et d'indice) peuvent être transmises au code
intermédiaire: deux opérations en mémoire à des emplacements-mémoire
disjoints ne peuvent pas interférer.