[polyml] Re: [Patch] Silencing the Runtime