= Interface between MIR and AEL = == Not in particular ==