updated BST_int header