doublefree.vgtest revision e739ac0589b4fb43561f801c4faba8c1b89f8680
1prog: doublefree
2vgopts: -q
3