implement ext_tsk.