prog: logical_instructions
vgopts: -q