generate TC_tup type properly