Talk:Compiler/Verifying Syntax