Uncommenting everything needed for tnew()