# Guest functions overridden by the runtime (see gen_main.py --hooks). The generator emits each
# one's body as f_<addr>_orig and the runtime provides f_<addr>. Hooks are normally declared with
# `hook` in symbols.txt (names, notes and the owning file live there); this file is for addresses
# without a name yet.
