:- module(c2, []).

:- reexport(c1).
:- reexport(c3).

p1(a).
p1(b).