This one needed more advanced checking of the error messages, because we don't want to hardcode things like `!dbg !10` in the output.