1prog: badaddrvalue
2vgopts: -q --error-markers=[[[,]]]
3