C backend: nearly all primities return normal forms