use ospec in FPAddAlignSingleAdd