OS500_user_instr