Hi, Masahiko Sawada and Yuhang.
Thanks for the review! Attached is v3 with the comment updated as
suggested, rebased on current master.
> Having a reliable test at a convenient cost seems challenging to me,
> and doesn't justify its benefit. I think we can push it without a
> test.
I've left out the regression test, as discussed.
---
Best regards,
Jingtang