generator: Syntactic input checking.