1vgopts: --free-is-write=yes
2prog: custom_alloc
3