I was squashing spurious overflows in the implementation, I got hung up on this point).
Attach a file by drag & drop or click to upload