1vgopts: --leak-check=yes -q
2prog: undef_malloc_args
3