new get_t4_from_t2s() helper function