In vmctest/gun: