Revert "Make the aux function racket-y"

This reverts commit e28d3544af98b62f1255a9c982273255d93784ea.