ex541 syntactically correct