if (BITS_IN_ADDRESS == 64) return (node.toLong() / granularity * granularity) == node.toLong(); else return (node.toInt() / granularity * granularity) == node.toInt();
return node.toWord().rshl(log_granularity).lsh(log_granularity).EQ(node.toWord());
  public final boolean isNode (Address node) {    if (BITS_IN_ADDRESS == 64)      return (node.toLong() / granularity * granularity) == node.toLong();    else      return (node.toInt() / granularity * granularity) == node.toInt();  }