Remove !begin-instruction-definitions.