:- module(c5, []).

:- reexport(c1).
:- init_expansors.

::p1(x).
::p1(y).