use ospec in FPNormToPack