+/* wait for vgdb/gdb after reporting that amount of error.
+ Note that this is the initial value provided from the command line.
+ The real value is maintained in VG_(dyn_vgdb_error) and
+ can be changed dynamically.*/
+extern Int VG_(clo_vgdb_error);
+