More gensyms, fewer normalization errors.