module MAIN { requires M2; }