On Tue, Sep 01, 2020 at 09:41:48PM -0500, Justin Pryzby wrote:> I think you probably intended to write: 1<<2
Thanks, fixed.--Michael