text: //
  // Created by ahinazar@wincs.cs.bgu.ac.il on 4/30/19.
  //
  
  trnmnt_tree* trnmnt_tree_alloc(int depth);
  int trnmnt_tree_dealloc(trnmnt_tree* tree);
  int trnmnt_tree_acquire(trnmnt_tree* tree,int ID);
  int trnmnt_tree_release(trnmnt_tree* tree,int ID);