:- module(checking).  %% converted djd
