Talk:Compiler/ Verifying Syntax