IMPLEMENTATION MODULE test ;

PROCEDURE IsSomeThing (a) : BOOLEAN;
BEGIN
   RETURN TRUE
END IsSomeThing ;

END test.