Now validating instruction arguments.