Missing statement in pragma push