module_interface frag1; import m1;