Commit 88d8a6d69f7baf57d29aaa1fe29be0f05956652b

Behdad Esfahbod 2023-06-01T19:24:02

[BEInt] Use packed-int trick for writing as well