definition of TreeInt