private static ItcStamp ForkRight(ItcStamp aStamp)
 {
     ItcStamp left, right;
     aStamp.Fork(out left, out right);
     return right;
 }