sealed
extern: m2/2 (3) + r4/u