Pp

Utilitaires pour l'impression

Register

Registres (pseudo-registres et registres physiques)

Label

Étiquettes

Ops

Opérations x86-64

Memory

Un modèle mémoire minimal pour les interprètes Interp et RTL