instr::=