:- module(m2).

:- export p/0.
p :- writeln(m2).