param_T_extends_THOT