vgopts: --free-is-write=yes
prog: custom_alloc