Ok, even though hasn't been ported as an awk extension under gawk, will POKE [1][2] with command line pipe do (perhaps with enough sed, too)? [1] : https://www

Ok, even though hasn't been ported as an awk extension under gawk, will POKE [1][2] with command line pipe do (perhaps with enough sed, too)? [1] : https://www.gnu.org/software/poke/ https://www.gnu.org/software/poke/ [2] : https://kernel-recipes.org/en/2019/talks/gnu-poke-an-extensible-editor-for-structured-binary-data/ https://kernel-recipes.org/en/2019/talks/gnu-poke-an-extensi...