belt_trick_revisited