static int[] getEncoding(OPT_CallSiteTree tree) {
static int[] getEncoding(OPT_CallSiteTree tree) throws VM_PragmaInterruptible {
  static int[] getEncoding(OPT_CallSiteTree tree) {    int size = 0;    if (tree.isEmpty())      return  null;     else {      Enumeration e = tree.elements();      while (e.hasMoreElements()) {        OPT_TreeNode x = (OPT_TreeNode)e.nextElement();        if (x.getLeftChild() == null)          size += 2;         else           size += 3;      }      int[] encoding = new int[size];      getEncoding((OPT_CallSiteTreeNode)tree.getRoot(), 0, -1, encoding);      return  encoding;    }  }