T_headers needs to ensure that T headers have actually been created.
This can be forced by depending on generate_T.