% Declared, but not defined:

:- topl a/1, b/1.

:- support a/2, b/2.