Symbol: IR_TEFN