Functional: MIRANDA, ALICE, 80 E, S, 95 E