Require Import Crypto.Specific.solinas32_2e127m1_5limbs.fesquare. Require Import Crypto.Specific.Framework.IntegrationTestDisplayCommon. Check display square.