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