Use highordtest in main, since that can now be normalized.