Use the 65c12 Dormann tests