change cint-maxtypedef to 37000