Oh yeah, that assembly already existed in order to create the binary in the first place!

Thanks for the tip.

(The gdb disassembly shows memory offsets, which might be helpful for some purposes.)