Check syntax for lots of instructions (see version 0.4).