Las siguiente son extensiones del "TOS", cargadas por separado: