On Thursday, 28 September 2023 at 23:28:02 UTC, Guillaume Piolat wrote: > - manual push/pop I wonder if `with` statement is helpful here to reduce verbosity