DEFINITION MODULE test ;

PROCEDURE IsSomeThing (a: ARRAY OF CHAR) : BOOLEAN;

END test.