NO_TRACK_HEADS
Decimal("beginning head", thd, tmp, NO_TRACK_HEADS);
Decimal("ending head", thd, tmp, NO_TRACK_HEADS);