[layer8]

The code size of the “parse” version of a program is at worst linear in the code size of the corresponding “validate” version, so I’d say yes.