Re: polyinstantiation_enabled vs allow_polyinstantiation