Need v3 to use Racket HEAD