:- module(c5, []).

:- reexport(c1).

p1(x).
p1(y).