OH.  This is the code in the test cases.  I'm dumb.  Sorry, please ignore.