Make the memory regions for hints and public IO read-only. In general, respect the ELF and make the emulator and circuits only allow writing to write-able sections.