:- module(m1).

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