Separating Syntactic Analysis from Execution (4.1.7)