1vgopts: --leak-check=no -q --redzone-size=128
2prog: clo_redzone
3