pub fn expect_no_verification_errors(err: VMError) -> VMError