Get `randcontest -f jscase` working.