0a1,8
> struct _IO_FILE;
> extern int fprintf(struct _IO_FILE * __restrict  __stream ,
>                    char const   * __restrict  __format  , ...) ;
> extern struct _IO_FILE *fopen(char const   * __restrict  __filename ,
>                               char const   * __restrict  __modes ) ;
> extern int fflush(struct _IO_FILE *__stream ) ;
> extern int fclose(struct _IO_FILE *__stream ) ;
> struct _IO_FILE *_coverage_fout  ;
6186d6193
< static void main_process_cmd_line_options(Bool *logging_to_fd , Char **xml_fname_unexpanded , HChar const   *toolname ) ;
6192,10549d6198
< static void main_process_cmd_line_options(Bool *logging_to_fd , Char **xml_fname_unexpanded , HChar const   *toolname ) 
< { SysRes sres ;
<   Int i ;
<   Int tmp_log_fd ;
<   Int tmp_xml_fd ;
<   Int toolname_len ;
<   SizeT tmp ;
<   Char *tmp_str ;
<   enum __anonenum_log_to_140 log_to ;
<   enum __anonenum_log_to_140 xml_to ;
<   Char *log_fsname_unexpanded ;
<   Char *xml_fsname_unexpanded ;
<   long tmp___0 ;
<   HChar *arg ;
<   void *tmp___1 ;
<   HChar *colon ;
<   Char *tmp___2 ;
<   Int tmp___3 ;
<   int tmp___4 ;
<   Int tmp___5 ;
<   Int tmp___6 ;
<   int tmp___7 ;
<   Int tmp___8 ;
<   Int tmp___9 ;
<   int tmp___10 ;
<   Int tmp___11 ;
<   Int tmp___12 ;
<   Int tmp___13 ;
<   Int tmp___14 ;
<   Char patt[7] ;
<   Bool ok ;
<   SizeT tmp___15 ;
<   int tmp___16 ;
<   Int j ;
<   SizeT tmp___17 ;
<   Int j___0 ;
<   SizeT tmp___18 ;
<   long tmp___19 ;
<   Bool tmp___20 ;
<   Int tmp___21 ;
<   int tmp___22 ;
<   Int tmp___23 ;
<   Int tmp___24 ;
<   int tmp___25 ;
<   Int tmp___26 ;
<   Int tmp___27 ;
<   int tmp___28 ;
<   Int tmp___29 ;
<   SizeT tmp___30 ;
<   Int tmp___31 ;
<   int tmp___32 ;
<   SizeT tmp___33 ;
<   Int tmp___34 ;
<   Char *val ;
<   SizeT tmp___35 ;
<   Char *s ;
<   Long n ;
<   Long tmp___36 ;
<   SizeT tmp___37 ;
<   Int tmp___38 ;
<   int tmp___39 ;
<   SizeT tmp___40 ;
<   Int tmp___41 ;
<   Char *val___0 ;
<   SizeT tmp___42 ;
<   Char *s___0 ;
<   Long n___0 ;
<   Long tmp___43 ;
<   SizeT tmp___44 ;
<   Int tmp___45 ;
<   int tmp___46 ;
<   SizeT tmp___47 ;
<   Int tmp___48 ;
<   Char *val___1 ;
<   SizeT tmp___49 ;
<   SizeT tmp___50 ;
<   Int tmp___51 ;
<   int tmp___52 ;
<   SizeT tmp___53 ;
<   Int tmp___54 ;
<   Char *val___2 ;
<   SizeT tmp___55 ;
<   SizeT tmp___56 ;
<   Int tmp___57 ;
<   int tmp___58 ;
<   SizeT tmp___59 ;
<   Int tmp___60 ;
<   Char *val___3 ;
<   SizeT tmp___61 ;
<   SizeT tmp___62 ;
<   Int tmp___63 ;
<   int tmp___64 ;
<   SizeT tmp___65 ;
<   Int tmp___66 ;
<   Char *val___4 ;
<   SizeT tmp___67 ;
<   SizeT tmp___68 ;
<   Int tmp___69 ;
<   int tmp___70 ;
<   SizeT tmp___71 ;
<   Int tmp___72 ;
<   Char *val___5 ;
<   SizeT tmp___73 ;
<   SizeT tmp___74 ;
<   Int tmp___75 ;
<   int tmp___76 ;
<   SizeT tmp___77 ;
<   Int tmp___78 ;
<   Char *val___6 ;
<   SizeT tmp___79 ;
<   SizeT tmp___80 ;
<   Int tmp___81 ;
<   int tmp___82 ;
<   SizeT tmp___83 ;
<   Int tmp___84 ;
<   Char *val___7 ;
<   SizeT tmp___85 ;
<   SizeT tmp___86 ;
<   Int tmp___87 ;
<   int tmp___88 ;
<   SizeT tmp___89 ;
<   Int tmp___90 ;
<   Char *val___8 ;
<   SizeT tmp___91 ;
<   SizeT tmp___92 ;
<   Int tmp___93 ;
<   int tmp___94 ;
<   SizeT tmp___95 ;
<   Int tmp___96 ;
<   Char *val___9 ;
<   SizeT tmp___97 ;
<   SizeT tmp___98 ;
<   Int tmp___99 ;
<   int tmp___100 ;
<   SizeT tmp___101 ;
<   Int tmp___102 ;
<   Char *val___10 ;
<   SizeT tmp___103 ;
<   SizeT tmp___104 ;
<   Int tmp___105 ;
<   int tmp___106 ;
<   SizeT tmp___107 ;
<   Int tmp___108 ;
<   Char *val___11 ;
<   SizeT tmp___109 ;
<   Char *s___1 ;
<   Long n___1 ;
<   Long tmp___110 ;
<   SizeT tmp___111 ;
<   Int tmp___112 ;
<   int tmp___113 ;
<   SizeT tmp___114 ;
<   Int tmp___115 ;
<   Char *val___12 ;
<   SizeT tmp___116 ;
<   Char *s___2 ;
<   Long n___2 ;
<   Long tmp___117 ;
<   SizeT tmp___118 ;
<   Int tmp___119 ;
<   int tmp___120 ;
<   SizeT tmp___121 ;
<   Int tmp___122 ;
<   Char *val___13 ;
<   SizeT tmp___123 ;
<   Int tmp___124 ;
<   int tmp___125 ;
<   Int tmp___126 ;
<   Int tmp___127 ;
<   int tmp___128 ;
<   Int tmp___129 ;
<   SizeT tmp___130 ;
<   Int tmp___131 ;
<   int tmp___132 ;
<   SizeT tmp___133 ;
<   Int tmp___134 ;
<   Char *val___14 ;
<   SizeT tmp___135 ;
<   Char *s___3 ;
<   Long n___3 ;
<   Long tmp___136 ;
<   SizeT tmp___137 ;
<   Int tmp___138 ;
<   int tmp___139 ;
<   SizeT tmp___140 ;
<   Int tmp___141 ;
<   Char *val___15 ;
<   SizeT tmp___142 ;
<   Char *s___4 ;
<   Long n___4 ;
<   Long tmp___143 ;
<   SizeT tmp___144 ;
<   Int tmp___145 ;
<   int tmp___146 ;
<   SizeT tmp___147 ;
<   Int tmp___148 ;
<   Char *val___16 ;
<   SizeT tmp___149 ;
<   Char *s___5 ;
<   Long n___5 ;
<   Long tmp___150 ;
<   Int tmp___151 ;
<   int tmp___152 ;
<   Int tmp___153 ;
<   Int tmp___154 ;
<   int tmp___155 ;
<   Int tmp___156 ;
<   Int tmp___157 ;
<   int tmp___158 ;
<   Int tmp___159 ;
<   SizeT tmp___160 ;
<   Int tmp___161 ;
<   int tmp___162 ;
<   SizeT tmp___163 ;
<   Int tmp___164 ;
<   Char *val___17 ;
<   SizeT tmp___165 ;
<   Char *s___6 ;
<   Long n___6 ;
<   Long tmp___166 ;
<   SizeT tmp___167 ;
<   Int tmp___168 ;
<   int tmp___169 ;
<   SizeT tmp___170 ;
<   Int tmp___171 ;
<   Char *val___18 ;
<   SizeT tmp___172 ;
<   Char *s___7 ;
<   Long n___7 ;
<   Long tmp___173 ;
<   SizeT tmp___174 ;
<   Int tmp___175 ;
<   int tmp___176 ;
<   SizeT tmp___177 ;
<   Int tmp___178 ;
<   Char *val___19 ;
<   SizeT tmp___179 ;
<   SizeT tmp___180 ;
<   Int tmp___181 ;
<   int tmp___182 ;
<   SizeT tmp___183 ;
<   Int tmp___184 ;
<   Char *val___20 ;
<   SizeT tmp___185 ;
<   SizeT tmp___186 ;
<   Int tmp___187 ;
<   int tmp___188 ;
<   SizeT tmp___189 ;
<   Int tmp___190 ;
<   Char *val___21 ;
<   SizeT tmp___191 ;
<   Int tmp___192 ;
<   int tmp___193 ;
<   Int tmp___194 ;
<   Int tmp___195 ;
<   int tmp___196 ;
<   Int tmp___197 ;
<   SizeT tmp___198 ;
<   Int tmp___199 ;
<   int tmp___200 ;
<   SizeT tmp___201 ;
<   Int tmp___202 ;
<   Char *val___22 ;
<   SizeT tmp___203 ;
<   Int tmp___204 ;
<   int tmp___205 ;
<   Int tmp___206 ;
<   Int tmp___207 ;
<   int tmp___208 ;
<   Int tmp___209 ;
<   Int tmp___210 ;
<   int tmp___211 ;
<   Int tmp___212 ;
<   Int tmp___213 ;
<   int tmp___214 ;
<   Int tmp___215 ;
<   SizeT tmp___216 ;
<   Int tmp___217 ;
<   int tmp___218 ;
<   SizeT tmp___219 ;
<   Int tmp___220 ;
<   Char *val___23 ;
<   SizeT tmp___221 ;
<   Char *s___8 ;
<   Long n___8 ;
<   Long tmp___222 ;
<   SizeT tmp___223 ;
<   Int tmp___224 ;
<   int tmp___225 ;
<   SizeT tmp___226 ;
<   Int tmp___227 ;
<   Char *val___24 ;
<   SizeT tmp___228 ;
<   Char *s___9 ;
<   Long n___9 ;
<   Long tmp___229 ;
<   SizeT tmp___230 ;
<   Int tmp___231 ;
<   int tmp___232 ;
<   SizeT tmp___233 ;
<   Int tmp___234 ;
<   Char *val___25 ;
<   SizeT tmp___235 ;
<   Char *s___10 ;
<   Long n___10 ;
<   Long tmp___236 ;
<   SizeT tmp___237 ;
<   Int tmp___238 ;
<   int tmp___239 ;
<   SizeT tmp___240 ;
<   Int tmp___241 ;
<   Char *val___26 ;
<   SizeT tmp___242 ;
<   Char *s___11 ;
<   Long n___11 ;
<   Long tmp___243 ;
<   SizeT tmp___244 ;
<   Int tmp___245 ;
<   int tmp___246 ;
<   SizeT tmp___247 ;
<   Int tmp___248 ;
<   Char *val___27 ;
<   SizeT tmp___249 ;
<   Int tmp___250 ;
<   int tmp___251 ;
<   Int tmp___252 ;
<   Int tmp___253 ;
<   int tmp___254 ;
<   Int tmp___255 ;
<   SizeT tmp___256 ;
<   Int tmp___257 ;
<   int tmp___258 ;
<   SizeT tmp___259 ;
<   Int tmp___260 ;
<   Char *val___28 ;
<   SizeT tmp___261 ;
<   Int tmp___262 ;
<   int tmp___263 ;
<   Int tmp___264 ;
<   Int tmp___265 ;
<   int tmp___266 ;
<   Int tmp___267 ;
<   SizeT tmp___268 ;
<   Int tmp___269 ;
<   int tmp___270 ;
<   SizeT tmp___271 ;
<   Int tmp___272 ;
<   Char *val___29 ;
<   SizeT tmp___273 ;
<   SizeT tmp___274 ;
<   Int tmp___275 ;
<   int tmp___276 ;
<   SizeT tmp___277 ;
<   Int tmp___278 ;
<   Char *val___30 ;
<   SizeT tmp___279 ;
<   Int tmp___280 ;
<   int tmp___281 ;
<   Int tmp___282 ;
<   Int tmp___283 ;
<   int tmp___284 ;
<   Int tmp___285 ;
<   SizeT tmp___286 ;
<   Int tmp___287 ;
<   int tmp___288 ;
<   SizeT tmp___289 ;
<   Int tmp___290 ;
<   Char *val___31 ;
<   SizeT tmp___291 ;
<   Int tmp___292 ;
<   int tmp___293 ;
<   Int tmp___294 ;
<   Int tmp___295 ;
<   int tmp___296 ;
<   Int tmp___297 ;
<   SizeT tmp___298 ;
<   Int tmp___299 ;
<   int tmp___300 ;
<   SizeT tmp___301 ;
<   Int tmp___302 ;
<   Char *val___32 ;
<   SizeT tmp___303 ;
<   Int tmp___304 ;
<   int tmp___305 ;
<   Int tmp___306 ;
<   Int tmp___307 ;
<   int tmp___308 ;
<   Int tmp___309 ;
<   Int tmp___310 ;
<   int tmp___311 ;
<   Int tmp___312 ;
<   Int tmp___313 ;
<   int tmp___314 ;
<   Int tmp___315 ;
<   Int tmp___316 ;
<   int tmp___317 ;
<   Int tmp___318 ;
<   SizeT tmp___319 ;
<   Int tmp___320 ;
<   int tmp___321 ;
<   SizeT tmp___322 ;
<   Int tmp___323 ;
<   Char *val___33 ;
<   SizeT tmp___324 ;
<   Int tmp___325 ;
<   int tmp___326 ;
<   Int tmp___327 ;
<   Int tmp___328 ;
<   int tmp___329 ;
<   Int tmp___330 ;
<   SizeT tmp___331 ;
<   Int tmp___332 ;
<   int tmp___333 ;
<   SizeT tmp___334 ;
<   Int tmp___335 ;
<   Char *val___34 ;
<   SizeT tmp___336 ;
<   SizeT tmp___337 ;
<   Int tmp___338 ;
<   int tmp___339 ;
<   SizeT tmp___340 ;
<   Int tmp___341 ;
<   Char *val___35 ;
<   SizeT tmp___342 ;
<   Int tmp___343 ;
<   int tmp___344 ;
<   Int tmp___345 ;
<   Int tmp___346 ;
<   int tmp___347 ;
<   Int tmp___348 ;
<   SizeT tmp___349 ;
<   Int tmp___350 ;
<   int tmp___351 ;
<   SizeT tmp___352 ;
<   Int tmp___353 ;
<   Char *val___36 ;
<   SizeT tmp___354 ;
<   Int tmp___355 ;
<   int tmp___356 ;
<   Int tmp___357 ;
<   Int tmp___358 ;
<   int tmp___359 ;
<   Int tmp___360 ;
<   SizeT tmp___361 ;
<   Int tmp___362 ;
<   int tmp___363 ;
<   SizeT tmp___364 ;
<   Int tmp___365 ;
<   Char *val___37 ;
<   SizeT tmp___366 ;
<   Int tmp___367 ;
<   int tmp___368 ;
<   Int tmp___369 ;
<   Int tmp___370 ;
<   int tmp___371 ;
<   Int tmp___372 ;
<   SizeT tmp___373 ;
<   Int tmp___374 ;
<   int tmp___375 ;
<   SizeT tmp___376 ;
<   Int tmp___377 ;
<   Char *val___38 ;
<   SizeT tmp___378 ;
<   SizeT tmp___379 ;
<   Int tmp___380 ;
<   int tmp___381 ;
<   SizeT tmp___382 ;
<   Int tmp___383 ;
<   Char *val___39 ;
<   SizeT tmp___384 ;
<   Int tmp___385 ;
<   int tmp___386 ;
<   Int tmp___387 ;
<   Int tmp___388 ;
<   int tmp___389 ;
<   Int tmp___390 ;
<   SizeT tmp___391 ;
<   Int tmp___392 ;
<   int tmp___393 ;
<   SizeT tmp___394 ;
<   Int tmp___395 ;
<   Char *val___40 ;
<   SizeT tmp___396 ;
<   Int tmp___397 ;
<   int tmp___398 ;
<   Int tmp___399 ;
<   Int tmp___400 ;
<   int tmp___401 ;
<   Int tmp___402 ;
<   SizeT tmp___403 ;
<   Int tmp___404 ;
<   int tmp___405 ;
<   SizeT tmp___406 ;
<   Int tmp___407 ;
<   Char *val___41 ;
<   SizeT tmp___408 ;
<   Int tmp___409 ;
<   int tmp___410 ;
<   Int tmp___411 ;
<   Int tmp___412 ;
<   int tmp___413 ;
<   Int tmp___414 ;
<   SizeT tmp___415 ;
<   Int tmp___416 ;
<   int tmp___417 ;
<   SizeT tmp___418 ;
<   Int tmp___419 ;
<   Char *val___42 ;
<   SizeT tmp___420 ;
<   Int tmp___421 ;
<   int tmp___422 ;
<   Int tmp___423 ;
<   Int tmp___424 ;
<   int tmp___425 ;
<   Int tmp___426 ;
<   SizeT tmp___427 ;
<   Int tmp___428 ;
<   int tmp___429 ;
<   SizeT tmp___430 ;
<   Int tmp___431 ;
<   Char *val___43 ;
<   SizeT tmp___432 ;
<   Int tmp___433 ;
<   int tmp___434 ;
<   Int tmp___435 ;
<   Int tmp___436 ;
<   int tmp___437 ;
<   Int tmp___438 ;
<   SizeT tmp___439 ;
<   Int tmp___440 ;
<   int tmp___441 ;
<   SizeT tmp___442 ;
<   Int tmp___443 ;
<   Char *val___44 ;
<   SizeT tmp___444 ;
<   Int tmp___445 ;
<   int tmp___446 ;
<   Int tmp___447 ;
<   Int tmp___448 ;
<   int tmp___449 ;
<   Int tmp___450 ;
<   SizeT tmp___451 ;
<   Int tmp___452 ;
<   int tmp___453 ;
<   SizeT tmp___454 ;
<   Int tmp___455 ;
<   Char *val___45 ;
<   SizeT tmp___456 ;
<   Int tmp___457 ;
<   int tmp___458 ;
<   Int tmp___459 ;
<   Int tmp___460 ;
<   int tmp___461 ;
<   Int tmp___462 ;
<   SizeT tmp___463 ;
<   Int tmp___464 ;
<   int tmp___465 ;
<   SizeT tmp___466 ;
<   Int tmp___467 ;
<   Char *val___46 ;
<   SizeT tmp___468 ;
<   Char *s___12 ;
<   Long n___12 ;
<   Long tmp___469 ;
<   SizeT tmp___470 ;
<   Int tmp___471 ;
<   int tmp___472 ;
<   SizeT tmp___473 ;
<   Int tmp___474 ;
<   Char *val___47 ;
<   SizeT tmp___475 ;
<   Int tmp___476 ;
<   int tmp___477 ;
<   Int tmp___478 ;
<   Int tmp___479 ;
<   int tmp___480 ;
<   Int tmp___481 ;
<   SizeT tmp___482 ;
<   Int tmp___483 ;
<   int tmp___484 ;
<   SizeT tmp___485 ;
<   Int tmp___486 ;
<   Char *val___48 ;
<   SizeT tmp___487 ;
<   SizeT tmp___488 ;
<   Int tmp___489 ;
<   int tmp___490 ;
<   SizeT tmp___491 ;
<   Int tmp___492 ;
<   Char *val___49 ;
<   SizeT tmp___493 ;
<   Int tmp___494 ;
<   int tmp___495 ;
<   Int tmp___496 ;
<   Int tmp___497 ;
<   int tmp___498 ;
<   Int tmp___499 ;
<   SizeT tmp___500 ;
<   Int tmp___501 ;
<   int tmp___502 ;
<   SizeT tmp___503 ;
<   Int tmp___504 ;
<   Char *val___50 ;
<   SizeT tmp___505 ;
<   Int tmp___506 ;
<   int tmp___507 ;
<   Int tmp___508 ;
<   Int tmp___509 ;
<   int tmp___510 ;
<   Int tmp___511 ;
<   SizeT tmp___512 ;
<   Int tmp___513 ;
<   int tmp___514 ;
<   SizeT tmp___515 ;
<   Int tmp___516 ;
<   Char *val___51 ;
<   SizeT tmp___517 ;
<   Int tmp___518 ;
<   int tmp___519 ;
<   Int tmp___520 ;
<   Int tmp___521 ;
<   int tmp___522 ;
<   Int tmp___523 ;
<   SizeT tmp___524 ;
<   Int tmp___525 ;
<   int tmp___526 ;
<   SizeT tmp___527 ;
<   Int tmp___528 ;
<   Char *val___52 ;
<   SizeT tmp___529 ;
<   SizeT tmp___530 ;
<   Int tmp___531 ;
<   int tmp___532 ;
<   SizeT tmp___533 ;
<   Int tmp___534 ;
<   Char *val___53 ;
<   SizeT tmp___535 ;
<   Char *s___13 ;
<   Long n___13 ;
<   Long tmp___536 ;
<   SizeT tmp___537 ;
<   Int tmp___538 ;
<   int tmp___539 ;
<   SizeT tmp___540 ;
<   Int tmp___541 ;
<   Char *val___54 ;
<   SizeT tmp___542 ;
<   Char *s___14 ;
<   Long n___14 ;
<   Long tmp___543 ;
<   Int tmp___544 ;
<   int tmp___545 ;
<   Int tmp___546 ;
<   Int tmp___547 ;
<   int tmp___548 ;
<   Int tmp___549 ;
<   Int tmp___550 ;
<   int tmp___551 ;
<   Int tmp___552 ;
<   SizeT tmp___553 ;
<   Int tmp___554 ;
<   int tmp___555 ;
<   SizeT tmp___556 ;
<   Int tmp___557 ;
<   Char *val___55 ;
<   SizeT tmp___558 ;
<   Int tmp___559 ;
<   int tmp___560 ;
<   Int tmp___561 ;
<   Int tmp___562 ;
<   int tmp___563 ;
<   Int tmp___564 ;
<   SizeT tmp___565 ;
<   Int tmp___566 ;
<   int tmp___567 ;
<   SizeT tmp___568 ;
<   Int tmp___569 ;
<   Char *val___56 ;
<   SizeT tmp___570 ;
<   Int tmp___571 ;
<   int tmp___572 ;
<   Int tmp___573 ;
<   Int tmp___574 ;
<   int tmp___575 ;
<   Int tmp___576 ;
<   Int tmp___577 ;
<   int tmp___578 ;
<   Int tmp___579 ;
<   Int tmp___580 ;
<   int tmp___581 ;
<   Int tmp___582 ;
<   Int tmp___583 ;
<   int tmp___584 ;
<   Int tmp___585 ;
<   Int tmp___586 ;
<   int tmp___587 ;
<   Int tmp___588 ;
<   Int tmp___589 ;
<   int tmp___590 ;
<   Int tmp___591 ;
<   Int tmp___592 ;
<   int tmp___593 ;
<   Int tmp___594 ;
<   Int tmp___595 ;
<   int tmp___596 ;
<   Int tmp___597 ;
<   Int tmp___598 ;
<   int tmp___599 ;
<   Int tmp___600 ;
<   Int tmp___601 ;
<   int tmp___602 ;
<   Int tmp___603 ;
<   Int tmp___604 ;
<   int tmp___605 ;
<   Int tmp___606 ;
<   Int tmp___607 ;
<   int tmp___608 ;
<   Int tmp___609 ;
<   Int tmp___610 ;
<   int tmp___611 ;
<   Int tmp___612 ;
<   Int tmp___613 ;
<   int tmp___614 ;
<   Int tmp___615 ;
<   Int tmp___616 ;
<   int tmp___617 ;
<   Int tmp___618 ;
<   Int tmp___619 ;
<   int tmp___620 ;
<   Int tmp___621 ;
<   Int tmp___622 ;
<   int tmp___623 ;
<   Int tmp___624 ;
<   Word tmp___625 ;
<   long tmp___626 ;
<   long tmp___627 ;
<   long tmp___628 ;
<   long tmp___629 ;
<   long tmp___630 ;
<   long tmp___631 ;
<   long tmp___632 ;
<   long tmp___633 ;
<   long tmp___634 ;
<   Char *logfilename ;
<   long tmp___635 ;
<   SizeT tmp___636 ;
<   int tmp___637 ;
<   long tmp___638 ;
<   UWord tmp___639 ;
<   UWord tmp___640 ;
<   HChar const   *tmp___641 ;
<   Bool tmp___642 ;
<   long tmp___643 ;
<   SizeT tmp___644 ;
<   int tmp___645 ;
<   long tmp___646 ;
<   long tmp___647 ;
<   long tmp___648 ;
<   long tmp___649 ;
<   Char *xmlfilename ;
<   long tmp___650 ;
<   SizeT tmp___651 ;
<   int tmp___652 ;
<   long tmp___653 ;
<   UWord tmp___654 ;
<   UWord tmp___655 ;
<   HChar const   *tmp___656 ;
<   Bool tmp___657 ;
<   long tmp___658 ;
<   SizeT tmp___659 ;
<   int tmp___660 ;
<   long tmp___661 ;
<   long tmp___662 ;
<   long tmp___663 ;
<   Int len ;
<   SizeT tmp___664 ;
<   Char *buf ;
<   void *tmp___665 ;
<   int tmp___666 ;
< 
<   {
<   tmp = vgPlain_strlen((Char const   *)toolname);
<   toolname_len = (Int )tmp;
<   log_to = (enum __anonenum_log_to_140 )0;
<   xml_to = (enum __anonenum_log_to_140 )0;
<   log_fsname_unexpanded = (Char *)((void *)0);
<   xml_fsname_unexpanded = (Char *)((void *)0);
<   tmp_log_fd = 2;
<   tmp_xml_fd = -1;
<   if ((int const   )*("/root/mountpoint-genprog/genprog-many-bugs/valgrind-bug-12854-12855/valgrind/../local-root/lib/valgrind" + 0) != 47) {
<     vgPlain_err_config_error((Char *)"Please use absolute paths in ./configure --prefix=... or --libdir=...\n");
<   } else {
< 
<   }
<   tmp___0 = __builtin_expect((long )(! (! vgPlain_args_for_valgrind)), 1L);
<   if (tmp___0) {
< 
<   } else {
<     vgPlain_assert_fail((unsigned char)1, (Char const   *)"VG_(args_for_valgrind)", (Char const   *)"m_main.c", 433, (Char const   *)"main_process_cmd_line_options", "");
<   }
<   i = 0;
<   while (1) {
<     tmp___625 = vgPlain_sizeXA(vgPlain_args_for_valgrind);
<     if ((Word )i < tmp___625) {
< 
<     } else {
<       break;
<     }
<     tmp___1 = vgPlain_indexXA(vgPlain_args_for_valgrind, (long )i);
<     arg = *((HChar **)tmp___1);
<     colon = arg;
<     while (1) {
<       if (*colon) {
<         if ((int )*colon != 58) {
<           if ((int )*colon != 61) {
< 
<           } else {
<             break;
<           }
<         } else {
<           break;
<         }
<       } else {
<         break;
<       }
<       colon ++;
<     }
<     if ((int )*colon == 58) {
<       if ((unsigned int )arg != (unsigned int )((void *)0)) {
<         if ((unsigned int )"--" != (unsigned int )((void *)0)) {
<           tmp___5 = vgPlain_strncmp((Char const   *)arg, (Char const   *)"--", 2UL);
<           if (tmp___5 == 0) {
<             tmp___4 = 1;
<           } else {
<             tmp___4 = 0;
<           }
<         } else {
<           tmp___4 = 0;
<         }
<       } else {
<         tmp___4 = 0;
<       }
<       if (tmp___4) {
<         if ((unsigned int )(arg + 2) != (unsigned int )((void *)0)) {
<           if ((unsigned int )toolname != (unsigned int )((void *)0)) {
<             tmp___8 = vgPlain_strncmp((Char const   *)(arg + 2), (Char const   *)toolname, (unsigned long )toolname_len);
<             if (tmp___8 == 0) {
<               tmp___7 = 1;
<             } else {
<               tmp___7 = 0;
<             }
<           } else {
<             tmp___7 = 0;
<           }
<         } else {
<           tmp___7 = 0;
<         }
<         if (tmp___7) {
<           if ((unsigned int )((arg + 2) + toolname_len) != (unsigned int )((void *)0)) {
<             if ((unsigned int )":" != (unsigned int )((void *)0)) {
<               tmp___11 = vgPlain_strncmp((Char const   *)((arg + 2) + toolname_len), (Char const   *)":", 1UL);
<               if (tmp___11 == 0) {
<                 tmp___10 = 1;
<               } else {
<                 tmp___10 = 0;
<               }
<             } else {
<               tmp___10 = 0;
<             }
<           } else {
<             tmp___10 = 0;
<           }
<           if (tmp___10) {
<             tmp___2 = vgPlain_strdup((HChar *)"main.mpclo.1", (Char const   *)((arg + toolname_len) + 1));
<             arg = (HChar *)tmp___2;
<             *(arg + 0) = (char )'-';
<             *(arg + 1) = (char )'-';
<           } else {
<             goto __Cont;
<           }
<         } else {
<           goto __Cont;
<         }
<       } else {
<         goto __Cont;
<       }
<     } else {
< 
<     }
<     if ((unsigned int )arg != (unsigned int )((void *)0)) {
<       if ((unsigned int )"--tool=" != (unsigned int )((void *)0)) {
<         tmp___624 = vgPlain_strncmp((Char const   *)arg, (Char const   *)"--tool=", 7UL);
<         if (tmp___624 == 0) {
<           tmp___623 = 1;
<         } else {
<           tmp___623 = 0;
<         }
<       } else {
<         tmp___623 = 0;
<       }
<     } else {
<       tmp___623 = 0;
<     }
<     if (tmp___623) {
< 
<     } else {
<       if ((unsigned int )arg != (unsigned int )((void *)0)) {
<         if ((unsigned int )"--command-line-only=" != (unsigned int )((void *)0)) {
<           tmp___621 = vgPlain_strncmp((Char const   *)arg, (Char const   *)"--command-line-only=", 20UL);
<           if (tmp___621 == 0) {
<             tmp___620 = 1;
<           } else {
<             tmp___620 = 0;
<           }
<         } else {
<           tmp___620 = 0;
<         }
<       } else {
<         tmp___620 = 0;
<       }
<       if (tmp___620) {
< 
<       } else {
<         if ((unsigned int )arg != (unsigned int )((void *)0)) {
<           if ((unsigned int )"--" != (unsigned int )((void *)0)) {
<             tmp___618 = vgPlain_strcmp((Char const   *)arg, (Char const   *)"--");
<             if (tmp___618 == 0) {
<               tmp___617 = 1;
<             } else {
<               tmp___617 = 0;
<             }
<           } else {
<             tmp___617 = 0;
<           }
<         } else {
<           tmp___617 = 0;
<         }
<         if (tmp___617) {
< 
<         } else {
<           if ((unsigned int )arg != (unsigned int )((void *)0)) {
<             if ((unsigned int )"-d" != (unsigned int )((void *)0)) {
<               tmp___615 = vgPlain_strcmp((Char const   *)arg, (Char const   *)"-d");
<               if (tmp___615 == 0) {
<                 tmp___614 = 1;
<               } else {
<                 tmp___614 = 0;
<               }
<             } else {
<               tmp___614 = 0;
<             }
<           } else {
<             tmp___614 = 0;
<           }
<           if (tmp___614) {
< 
<           } else {
<             if ((unsigned int )arg != (unsigned int )((void *)0)) {
<               if ((unsigned int )"--max-stackframe" != (unsigned int )((void *)0)) {
<                 tmp___612 = vgPlain_strncmp((Char const   *)arg, (Char const   *)"--max-stackframe", 16UL);
<                 if (tmp___612 == 0) {
<                   tmp___611 = 1;
<                 } else {
<                   tmp___611 = 0;
<                 }
<               } else {
<                 tmp___611 = 0;
<               }
<             } else {
<               tmp___611 = 0;
<             }
<             if (tmp___611) {
< 
<             } else {
<               if ((unsigned int )arg != (unsigned int )((void *)0)) {
<                 if ((unsigned int )"--main-stacksize" != (unsigned int )((void *)0)) {
<                   tmp___609 = vgPlain_strncmp((Char const   *)arg, (Char const   *)"--main-stacksize", 16UL);
<                   if (tmp___609 == 0) {
<                     tmp___608 = 1;
<                   } else {
<                     tmp___608 = 0;
<                   }
<                 } else {
<                   tmp___608 = 0;
<                 }
<               } else {
<                 tmp___608 = 0;
<               }
<               if (tmp___608) {
< 
<               } else {
<                 if ((unsigned int )arg != (unsigned int )((void *)0)) {
<                   if ((unsigned int )"--sim-hints" != (unsigned int )((void *)0)) {
<                     tmp___606 = vgPlain_strncmp((Char const   *)arg, (Char const   *)"--sim-hints", 11UL);
<                     if (tmp___606 == 0) {
<                       tmp___605 = 1;
<                     } else {
<                       tmp___605 = 0;
<                     }
<                   } else {
<                     tmp___605 = 0;
<                   }
<                 } else {
<                   tmp___605 = 0;
<                 }
<                 if (tmp___605) {
< 
<                 } else {
<                   if ((unsigned int )arg != (unsigned int )((void *)0)) {
<                     if ((unsigned int )"--profile-heap" != (unsigned int )((void *)0)) {
<                       tmp___603 = vgPlain_strncmp((Char const   *)arg, (Char const   *)"--profile-heap", 14UL);
<                       if (tmp___603 == 0) {
<                         tmp___602 = 1;
<                       } else {
<                         tmp___602 = 0;
<                       }
<                     } else {
<                       tmp___602 = 0;
<                     }
<                   } else {
<                     tmp___602 = 0;
<                   }
<                   if (tmp___602) {
< 
<                   } else {
<                     if ((unsigned int )arg != (unsigned int )((void *)0)) {
<                       if ((unsigned int )"--core-redzone-size" != (unsigned int )((void *)0)) {
<                         tmp___600 = vgPlain_strncmp((Char const   *)arg, (Char const   *)"--core-redzone-size", 14UL);
<                         if (tmp___600 == 0) {
<                           tmp___599 = 1;
<                         } else {
<                           tmp___599 = 0;
<                         }
<                       } else {
<                         tmp___599 = 0;
<                       }
<                     } else {
<                       tmp___599 = 0;
<                     }
<                     if (tmp___599) {
< 
<                     } else {
<                       if ((unsigned int )arg != (unsigned int )((void *)0)) {
<                         if ((unsigned int )"--redzone-size" != (unsigned int )((void *)0)) {
<                           tmp___597 = vgPlain_strncmp((Char const   *)arg, (Char const   *)"--redzone-size", 14UL);
<                           if (tmp___597 == 0) {
<                             tmp___596 = 1;
<                           } else {
<                             tmp___596 = 0;
<                           }
<                         } else {
<                           tmp___596 = 0;
<                         }
<                       } else {
<                         tmp___596 = 0;
<                       }
<                       if (tmp___596) {
< 
<                       } else {
<                         if ((unsigned int )arg != (unsigned int )((void *)0)) {
<                           if ((unsigned int )"--vex-iropt-precise-memory-exns=no" != (unsigned int )((void *)0)) {
<                             tmp___594 = vgPlain_strncmp((Char const   *)arg, (Char const   *)"--vex-iropt-precise-memory-exns=no", 34UL);
<                             if (tmp___594 == 0) {
<                               tmp___593 = 1;
<                             } else {
<                               tmp___593 = 0;
<                             }
<                           } else {
<                             tmp___593 = 0;
<                           }
<                         } else {
<                           tmp___593 = 0;
<                         }
<                         if (tmp___593) {
<                           vgPlain_fmsg_bad_option(arg, "--vex-iropt-precise-memory-exns is obsolete\nUse --vex-iropt-register-updates=unwindregs-at-mem-access instead\n");
<                         } else {
<                           if ((unsigned int )arg != (unsigned int )((void *)0)) {
<                             if ((unsigned int )"--vex-iropt-precise-memory-exns=yes" != (unsigned int )((void *)0)) {
<                               tmp___591 = vgPlain_strncmp((Char const   *)arg, (Char const   *)"--vex-iropt-precise-memory-exns=yes", 35UL);
<                               if (tmp___591 == 0) {
<                                 tmp___590 = 1;
<                               } else {
<                                 tmp___590 = 0;
<                               }
<                             } else {
<                               tmp___590 = 0;
<                             }
<                           } else {
<                             tmp___590 = 0;
<                           }
<                           if (tmp___590) {
<                             vgPlain_fmsg_bad_option(arg, "--vex-iropt-precise-memory-exns is obsolete\nUse --vex-iropt-register-updates=allregs-at-mem-access instead\n (or --vex-iropt-register-updates=allregs-at-each-insn)\n");
<                           } else {
<                             if ((unsigned int )arg != (unsigned int )((void *)0)) {
<                               if ((unsigned int )"-v" != (unsigned int )((void *)0)) {
<                                 tmp___585 = vgPlain_strcmp((Char const   *)arg, (Char const   *)"-v");
<                                 if (tmp___585 == 0) {
<                                   tmp___584 = 1;
<                                 } else {
<                                   tmp___584 = 0;
<                                 }
<                               } else {
<                                 tmp___584 = 0;
<                               }
<                             } else {
<                               tmp___584 = 0;
<                             }
<                             if (tmp___584) {
<                               vgPlain_clo_verbosity ++;
<                             } else {
<                               if ((unsigned int )arg != (unsigned int )((void *)0)) {
<                                 if ((unsigned int )"--verbose" != (unsigned int )((void *)0)) {
<                                   tmp___588 = vgPlain_strcmp((Char const   *)arg, (Char const   *)"--verbose");
<                                   if (tmp___588 == 0) {
<                                     tmp___587 = 1;
<                                   } else {
<                                     tmp___587 = 0;
<                                   }
<                                 } else {
<                                   tmp___587 = 0;
<                                 }
<                               } else {
<                                 tmp___587 = 0;
<                               }
<                               if (tmp___587) {
<                                 vgPlain_clo_verbosity ++;
<                               } else {
<                                 if ((unsigned int )arg != (unsigned int )((void *)0)) {
<                                   if ((unsigned int )"-q" != (unsigned int )((void *)0)) {
<                                     tmp___579 = vgPlain_strcmp((Char const   *)arg, (Char const   *)"-q");
<                                     if (tmp___579 == 0) {
<                                       tmp___578 = 1;
<                                     } else {
<                                       tmp___578 = 0;
<                                     }
<                                   } else {
<                                     tmp___578 = 0;
<                                   }
<                                 } else {
<                                   tmp___578 = 0;
<                                 }
<                                 if (tmp___578) {
<                                   vgPlain_clo_verbosity --;
<                                 } else {
<                                   if ((unsigned int )arg != (unsigned int )((void *)0)) {
<                                     if ((unsigned int )"--quiet" != (unsigned int )((void *)0)) {
<                                       tmp___582 = vgPlain_strcmp((Char const   *)arg, (Char const   *)"--quiet");
<                                       if (tmp___582 == 0) {
<                                         tmp___581 = 1;
<                                       } else {
<                                         tmp___581 = 0;
<                                       }
<                                     } else {
<                                       tmp___581 = 0;
<                                     }
<                                   } else {
<                                     tmp___581 = 0;
<                                   }
<                                   if (tmp___581) {
<                                     vgPlain_clo_verbosity --;
<                                   } else {
<                                     if ((unsigned int )arg != (unsigned int )((void *)0)) {
<                                       if ((unsigned int )"--stats=" != (unsigned int )((void *)0)) {
<                                         tmp___568 = vgPlain_strlen((Char const   *)"--stats");
<                                         tmp___569 = vgPlain_strncmp((Char const   *)arg, (Char const   *)"--stats=", tmp___568 + 1UL);
<                                         if (tmp___569 == 0) {
<                                           tmp___567 = 1;
<                                         } else {
<                                           tmp___567 = 0;
<                                         }
<                                       } else {
<                                         tmp___567 = 0;
<                                       }
<                                     } else {
<                                       tmp___567 = 0;
<                                     }
<                                     if (tmp___567) {
<                                       tmp___570 = vgPlain_strlen((Char const   *)"--stats");
<                                       val___56 = (Char *)(arg + (tmp___570 + 1UL));
<                                       if ((unsigned int )val___56 != (unsigned int )((void *)0)) {
<                                         if ((unsigned int )"yes" != (unsigned int )((void *)0)) {
<                                           tmp___576 = vgPlain_strcmp((Char const   *)val___56, (Char const   *)"yes");
<                                           if (tmp___576 == 0) {
<                                             tmp___575 = 1;
<                                           } else {
<                                             tmp___575 = 0;
<                                           }
<                                         } else {
<                                           tmp___575 = 0;
<                                         }
<                                       } else {
<                                         tmp___575 = 0;
<                                       }
<                                       if (tmp___575) {
<                                         vgPlain_clo_stats = (unsigned char)1;
<                                       } else {
<                                         if ((unsigned int )val___56 != (unsigned int )((void *)0)) {
<                                           if ((unsigned int )"no" != (unsigned int )((void *)0)) {
<                                             tmp___573 = vgPlain_strcmp((Char const   *)val___56, (Char const   *)"no");
<                                             if (tmp___573 == 0) {
<                                               tmp___572 = 1;
<                                             } else {
<                                               tmp___572 = 0;
<                                             }
<                                           } else {
<                                             tmp___572 = 0;
<                                           }
<                                         } else {
<                                           tmp___572 = 0;
<                                         }
<                                         if (tmp___572) {
<                                           vgPlain_clo_stats = (unsigned char)0;
<                                         } else {
<                                           vgPlain_fmsg_bad_option(arg, "Invalid boolean value \'%s\' (should be \'yes\' or \'no\')\n", val___56);
<                                         }
<                                       }
<                                     } else {
<                                       _L___72: /* CIL Label */ 
<                                       if ((unsigned int )arg != (unsigned int )((void *)0)) {
<                                         if ((unsigned int )"--xml=" != (unsigned int )((void *)0)) {
<                                           tmp___556 = vgPlain_strlen((Char const   *)"--xml");
<                                           tmp___557 = vgPlain_strncmp((Char const   *)arg, (Char const   *)"--xml=", tmp___556 + 1UL);
<                                           if (tmp___557 == 0) {
<                                             tmp___555 = 1;
<                                           } else {
<                                             tmp___555 = 0;
<                                           }
<                                         } else {
<                                           tmp___555 = 0;
<                                         }
<                                       } else {
<                                         tmp___555 = 0;
<                                       }
<                                       if (tmp___555) {
<                                         tmp___558 = vgPlain_strlen((Char const   *)"--xml");
<                                         val___55 = (Char *)(arg + (tmp___558 + 1UL));
<                                         if ((unsigned int )val___55 != (unsigned int )((void *)0)) {
<                                           if ((unsigned int )"yes" != (unsigned int )((void *)0)) {
<                                             tmp___564 = vgPlain_strcmp((Char const   *)val___55, (Char const   *)"yes");
<                                             if (tmp___564 == 0) {
<                                               tmp___563 = 1;
<                                             } else {
<                                               tmp___563 = 0;
<                                             }
<                                           } else {
<                                             tmp___563 = 0;
<                                           }
<                                         } else {
<                                           tmp___563 = 0;
<                                         }
<                                         if (tmp___563) {
<                                           vgPlain_clo_xml = (unsigned char)1;
<                                         } else {
<                                           if ((unsigned int )val___55 != (unsigned int )((void *)0)) {
<                                             if ((unsigned int )"no" != (unsigned int )((void *)0)) {
<                                               tmp___561 = vgPlain_strcmp((Char const   *)val___55, (Char const   *)"no");
<                                               if (tmp___561 == 0) {
<                                                 tmp___560 = 1;
<                                               } else {
<                                                 tmp___560 = 0;
<                                               }
<                                             } else {
<                                               tmp___560 = 0;
<                                             }
<                                           } else {
<                                             tmp___560 = 0;
<                                           }
<                                           if (tmp___560) {
<                                             vgPlain_clo_xml = (unsigned char)0;
<                                           } else {
<                                             vgPlain_fmsg_bad_option(arg, "Invalid boolean value \'%s\' (should be \'yes\' or \'no\')\n", val___55);
<                                           }
<                                         }
<                                         vgPlain_debugLog_setXml(vgPlain_clo_xml);
<                                       } else {
<                                         _L___71: /* CIL Label */ 
<                                         if ((unsigned int )arg != (unsigned int )((void *)0)) {
<                                           if ((unsigned int )"--vgdb=no" != (unsigned int )((void *)0)) {
<                                             tmp___552 = vgPlain_strcmp((Char const   *)arg, (Char const   *)"--vgdb=no");
<                                             if (tmp___552 == 0) {
<                                               tmp___551 = 1;
<                                             } else {
<                                               tmp___551 = 0;
<                                             }
<                                           } else {
<                                             tmp___551 = 0;
<                                           }
<                                         } else {
<                                           tmp___551 = 0;
<                                         }
<                                         if (tmp___551) {
<                                           vgPlain_clo_vgdb = (enum __anonenum_VgVgdb_127 )0;
<                                         } else {
<                                           _L___70: /* CIL Label */ 
<                                           if ((unsigned int )arg != (unsigned int )((void *)0)) {
<                                             if ((unsigned int )"--vgdb=yes" != (unsigned int )((void *)0)) {
<                                               tmp___549 = vgPlain_strcmp((Char const   *)arg, (Char const   *)"--vgdb=yes");
<                                               if (tmp___549 == 0) {
<                                                 tmp___548 = 1;
<                                               } else {
<                                                 tmp___548 = 0;
<                                               }
<                                             } else {
<                                               tmp___548 = 0;
<                                             }
<                                           } else {
<                                             tmp___548 = 0;
<                                           }
<                                           if (tmp___548) {
<                                             vgPlain_clo_vgdb = (enum __anonenum_VgVgdb_127 )1;
<                                           } else {
<                                             _L___69: /* CIL Label */ 
<                                             if ((unsigned int )arg != (unsigned int )((void *)0)) {
<                                               if ((unsigned int )"--vgdb=full" != (unsigned int )((void *)0)) {
<                                                 tmp___546 = vgPlain_strcmp((Char const   *)arg, (Char const   *)"--vgdb=full");
<                                                 if (tmp___546 == 0) {
<                                                   tmp___545 = 1;
<                                                 } else {
<                                                   tmp___545 = 0;
<                                                 }
<                                               } else {
<                                                 tmp___545 = 0;
<                                               }
<                                             } else {
<                                               tmp___545 = 0;
<                                             }
<                                             if (tmp___545) {
<                                               vgPlain_clo_vgdb = (enum __anonenum_VgVgdb_127 )2;
<                                               vgPlain_clo_vex_control.iropt_register_updates = (enum __anonenum_VexRegisterUpdates_53 )2;
<                                             } else {
<                                               _L___68: /* CIL Label */ 
<                                               if ((unsigned int )arg != (unsigned int )((void *)0)) {
<                                                 if ((unsigned int )"--vgdb-poll=" != (unsigned int )((void *)0)) {
<                                                   tmp___540 = vgPlain_strlen((Char const   *)"--vgdb-poll");
<                                                   tmp___541 = vgPlain_strncmp((Char const   *)arg, (Char const   *)"--vgdb-poll=", tmp___540 + 1UL);
<                                                   if (tmp___541 == 0) {
<                                                     tmp___539 = 1;
<                                                   } else {
<                                                     tmp___539 = 0;
<                                                   }
<                                                 } else {
<                                                   tmp___539 = 0;
<                                                 }
<                                               } else {
<                                                 tmp___539 = 0;
<                                               }
<                                               if (tmp___539) {
<                                                 tmp___542 = vgPlain_strlen((Char const   *)"--vgdb-poll");
<                                                 val___54 = (Char *)(arg + (tmp___542 + 1UL));
<                                                 tmp___543 = vgPlain_strtoll10(val___54, & s___14);
<                                                 n___14 = tmp___543;
<                                                 vgPlain_clo_vgdb_poll = (int )n___14;
<                                                 if (0 != (int )*(s___14 + 0)) {
<                                                   vgPlain_fmsg_bad_option(arg, "");
<                                                 } else {
<                                                   if ((Long )vgPlain_clo_vgdb_poll != n___14) {
<                                                     vgPlain_fmsg_bad_option(arg, "");
<                                                   } else {
< 
<                                                   }
<                                                 }
<                                               } else {
<                                                 _L___67: /* CIL Label */ 
<                                                 if ((unsigned int )arg != (unsigned int )((void *)0)) {
<                                                   if ((unsigned int )"--vgdb-error=" != (unsigned int )((void *)0)) {
<                                                     tmp___533 = vgPlain_strlen((Char const   *)"--vgdb-error");
<                                                     tmp___534 = vgPlain_strncmp((Char const   *)arg, (Char const   *)"--vgdb-error=", tmp___533 + 1UL);
<                                                     if (tmp___534 == 0) {
<                                                       tmp___532 = 1;
<                                                     } else {
<                                                       tmp___532 = 0;
<                                                     }
<                                                   } else {
<                                                     tmp___532 = 0;
<                                                   }
<                                                 } else {
<                                                   tmp___532 = 0;
<                                                 }
<                                                 if (tmp___532) {
<                                                   tmp___535 = vgPlain_strlen((Char const   *)"--vgdb-error");
<                                                   val___53 = (Char *)(arg + (tmp___535 + 1UL));
<                                                   tmp___536 = vgPlain_strtoll10(val___53, & s___13);
<                                                   n___13 = tmp___536;
<                                                   vgPlain_clo_vgdb_error = (int )n___13;
<                                                   if (0 != (int )*(s___13 + 0)) {
<                                                     vgPlain_fmsg_bad_option(arg, "");
<                                                   } else {
<                                                     if ((Long )vgPlain_clo_vgdb_error != n___13) {
<                                                       vgPlain_fmsg_bad_option(arg, "");
<                                                     } else {
< 
<                                                     }
<                                                   }
<                                                 } else {
<                                                   _L___66: /* CIL Label */ 
<                                                   if ((unsigned int )arg != (unsigned int )((void *)0)) {
<                                                     if ((unsigned int )"--vgdb-prefix=" != (unsigned int )((void *)0)) {
<                                                       tmp___527 = vgPlain_strlen((Char const   *)"--vgdb-prefix");
<                                                       tmp___528 = vgPlain_strncmp((Char const   *)arg, (Char const   *)"--vgdb-prefix=", tmp___527 + 1UL);
<                                                       if (tmp___528 == 0) {
<                                                         tmp___526 = 1;
<                                                       } else {
<                                                         tmp___526 = 0;
<                                                       }
<                                                     } else {
<                                                       tmp___526 = 0;
<                                                     }
<                                                   } else {
<                                                     tmp___526 = 0;
<                                                   }
<                                                   if (tmp___526) {
<                                                     tmp___529 = vgPlain_strlen((Char const   *)"--vgdb-prefix");
<                                                     val___52 = (Char *)(arg + (tmp___529 + 1UL));
<                                                     vgPlain_clo_vgdb_prefix = (HChar *)val___52;
<                                                   } else {
<                                                     _L___65: /* CIL Label */ 
<                                                     if ((unsigned int )arg != (unsigned int )((void *)0)) {
<                                                       if ((unsigned int )"--vgdb-shadow-registers=" != (unsigned int )((void *)0)) {
<                                                         tmp___515 = vgPlain_strlen((Char const   *)"--vgdb-shadow-registers");
<                                                         tmp___516 = vgPlain_strncmp((Char const   *)arg, (Char const   *)"--vgdb-shadow-registers=", tmp___515 + 1UL);
<                                                         if (tmp___516 == 0) {
<                                                           tmp___514 = 1;
<                                                         } else {
<                                                           tmp___514 = 0;
<                                                         }
<                                                       } else {
<                                                         tmp___514 = 0;
<                                                       }
<                                                     } else {
<                                                       tmp___514 = 0;
<                                                     }
<                                                     if (tmp___514) {
<                                                       tmp___517 = vgPlain_strlen((Char const   *)"--vgdb-shadow-registers");
<                                                       val___51 = (Char *)(arg + (tmp___517 + 1UL));
<                                                       if ((unsigned int )val___51 != (unsigned int )((void *)0)) {
<                                                         if ((unsigned int )"yes" != (unsigned int )((void *)0)) {
<                                                           tmp___523 = vgPlain_strcmp((Char const   *)val___51, (Char const   *)"yes");
<                                                           if (tmp___523 == 0) {
<                                                             tmp___522 = 1;
<                                                           } else {
<                                                             tmp___522 = 0;
<                                                           }
<                                                         } else {
<                                                           tmp___522 = 0;
<                                                         }
<                                                       } else {
<                                                         tmp___522 = 0;
<                                                       }
<                                                       if (tmp___522) {
<                                                         vgPlain_clo_vgdb_shadow_registers = (unsigned char)1;
<                                                       } else {
<                                                         if ((unsigned int )val___51 != (unsigned int )((void *)0)) {
<                                                           if ((unsigned int )"no" != (unsigned int )((void *)0)) {
<                                                             tmp___520 = vgPlain_strcmp((Char const   *)val___51, (Char const   *)"no");
<                                                             if (tmp___520 == 0) {
<                                                               tmp___519 = 1;
<                                                             } else {
<                                                               tmp___519 = 0;
<                                                             }
<                                                           } else {
<                                                             tmp___519 = 0;
<                                                           }
<                                                         } else {
<                                                           tmp___519 = 0;
<                                                         }
<                                                         if (tmp___519) {
<                                                           vgPlain_clo_vgdb_shadow_registers = (unsigned char)0;
<                                                         } else {
<                                                           vgPlain_fmsg_bad_option(arg, "Invalid boolean value \'%s\' (should be \'yes\' or \'no\')\n", val___51);
<                                                         }
<                                                       }
<                                                     } else {
<                                                       _L___64: /* CIL Label */ 
<                                                       if ((unsigned int )arg != (unsigned int )((void *)0)) {
<                                                         if ((unsigned int )"--db-attach=" != (unsigned int )((void *)0)) {
<                                                           tmp___503 = vgPlain_strlen((Char const   *)"--db-attach");
<                                                           tmp___504 = vgPlain_strncmp((Char const   *)arg, (Char const   *)"--db-attach=", tmp___503 + 1UL);
<                                                           if (tmp___504 == 0) {
<                                                             tmp___502 = 1;
<                                                           } else {
<                                                             tmp___502 = 0;
<                                                           }
<                                                         } else {
<                                                           tmp___502 = 0;
<                                                         }
<                                                       } else {
<                                                         tmp___502 = 0;
<                                                       }
<                                                       if (tmp___502) {
<                                                         tmp___505 = vgPlain_strlen((Char const   *)"--db-attach");
<                                                         val___50 = (Char *)(arg + (tmp___505 + 1UL));
<                                                         if ((unsigned int )val___50 != (unsigned int )((void *)0)) {
<                                                           if ((unsigned int )"yes" != (unsigned int )((void *)0)) {
<                                                             tmp___511 = vgPlain_strcmp((Char const   *)val___50, (Char const   *)"yes");
<                                                             if (tmp___511 == 0) {
<                                                               tmp___510 = 1;
<                                                             } else {
<                                                               tmp___510 = 0;
<                                                             }
<                                                           } else {
<                                                             tmp___510 = 0;
<                                                           }
<                                                         } else {
<                                                           tmp___510 = 0;
<                                                         }
<                                                         if (tmp___510) {
<                                                           vgPlain_clo_db_attach = (unsigned char)1;
<                                                         } else {
<                                                           if ((unsigned int )val___50 != (unsigned int )((void *)0)) {
<                                                             if ((unsigned int )"no" != (unsigned int )((void *)0)) {
<                                                               tmp___508 = vgPlain_strcmp((Char const   *)val___50, (Char const   *)"no");
<                                                               if (tmp___508 == 0) {
<                                                                 tmp___507 = 1;
<                                                               } else {
<                                                                 tmp___507 = 0;
<                                                               }
<                                                             } else {
<                                                               tmp___507 = 0;
<                                                             }
<                                                           } else {
<                                                             tmp___507 = 0;
<                                                           }
<                                                           if (tmp___507) {
<                                                             vgPlain_clo_db_attach = (unsigned char)0;
<                                                           } else {
<                                                             vgPlain_fmsg_bad_option(arg, "Invalid boolean value \'%s\' (should be \'yes\' or \'no\')\n", val___50);
<                                                           }
<                                                         }
<                                                       } else {
<                                                         _L___63: /* CIL Label */ 
<                                                         if ((unsigned int )arg != (unsigned int )((void *)0)) {
<                                                           if ((unsigned int )"--demangle=" != (unsigned int )((void *)0)) {
<                                                             tmp___491 = vgPlain_strlen((Char const   *)"--demangle");
<                                                             tmp___492 = vgPlain_strncmp((Char const   *)arg, (Char const   *)"--demangle=", tmp___491 + 1UL);
<                                                             if (tmp___492 == 0) {
<                                                               tmp___490 = 1;
<                                                             } else {
<                                                               tmp___490 = 0;
<                                                             }
<                                                           } else {
<                                                             tmp___490 = 0;
<                                                           }
<                                                         } else {
<                                                           tmp___490 = 0;
<                                                         }
<                                                         if (tmp___490) {
<                                                           tmp___493 = vgPlain_strlen((Char const   *)"--demangle");
<                                                           val___49 = (Char *)(arg + (tmp___493 + 1UL));
<                                                           if ((unsigned int )val___49 != (unsigned int )((void *)0)) {
<                                                             if ((unsigned int )"yes" != (unsigned int )((void *)0)) {
<                                                               tmp___499 = vgPlain_strcmp((Char const   *)val___49, (Char const   *)"yes");
<                                                               if (tmp___499 == 0) {
<                                                                 tmp___498 = 1;
<                                                               } else {
<                                                                 tmp___498 = 0;
<                                                               }
<                                                             } else {
<                                                               tmp___498 = 0;
<                                                             }
<                                                           } else {
<                                                             tmp___498 = 0;
<                                                           }
<                                                           if (tmp___498) {
<                                                             vgPlain_clo_demangle = (unsigned char)1;
<                                                           } else {
<                                                             if ((unsigned int )val___49 != (unsigned int )((void *)0)) {
<                                                               if ((unsigned int )"no" != (unsigned int )((void *)0)) {
<                                                                 tmp___496 = vgPlain_strcmp((Char const   *)val___49, (Char const   *)"no");
<                                                                 if (tmp___496 == 0) {
<                                                                   tmp___495 = 1;
<                                                                 } else {
<                                                                   tmp___495 = 0;
<                                                                 }
<                                                               } else {
<                                                                 tmp___495 = 0;
<                                                               }
<                                                             } else {
<                                                               tmp___495 = 0;
<                                                             }
<                                                             if (tmp___495) {
<                                                               vgPlain_clo_demangle = (unsigned char)0;
<                                                             } else {
<                                                               vgPlain_fmsg_bad_option(arg, "Invalid boolean value \'%s\' (should be \'yes\' or \'no\')\n", val___49);
<                                                             }
<                                                           }
<                                                         } else {
<                                                           _L___62: /* CIL Label */ 
<                                                           if ((unsigned int )arg != (unsigned int )((void *)0)) {
<                                                             if ((unsigned int )"--soname-synonyms=" != (unsigned int )((void *)0)) {
<                                                               tmp___485 = vgPlain_strlen((Char const   *)"--soname-synonyms");
<                                                               tmp___486 = vgPlain_strncmp((Char const   *)arg, (Char const   *)"--soname-synonyms=", tmp___485 + 1UL);
<                                                               if (tmp___486 == 0) {
<                                                                 tmp___484 = 1;
<                                                               } else {
<                                                                 tmp___484 = 0;
<                                                               }
<                                                             } else {
<                                                               tmp___484 = 0;
<                                                             }
<                                                           } else {
<                                                             tmp___484 = 0;
<                                                           }
<                                                           if (tmp___484) {
<                                                             tmp___487 = vgPlain_strlen((Char const   *)"--soname-synonyms");
<                                                             val___48 = (Char *)(arg + (tmp___487 + 1UL));
<                                                             vgPlain_clo_soname_synonyms = (HChar *)val___48;
<                                                           } else {
<                                                             _L___61: /* CIL Label */ 
<                                                             if ((unsigned int )arg != (unsigned int )((void *)0)) {
<                                                               if ((unsigned int )"--error-limit=" != (unsigned int )((void *)0)) {
<                                                                 tmp___473 = vgPlain_strlen((Char const   *)"--error-limit");
<                                                                 tmp___474 = vgPlain_strncmp((Char const   *)arg, (Char const   *)"--error-limit=", tmp___473 + 1UL);
<                                                                 if (tmp___474 == 0) {
<                                                                   tmp___472 = 1;
<                                                                 } else {
<                                                                   tmp___472 = 0;
<                                                                 }
<                                                               } else {
<                                                                 tmp___472 = 0;
<                                                               }
<                                                             } else {
<                                                               tmp___472 = 0;
<                                                             }
<                                                             if (tmp___472) {
<                                                               tmp___475 = vgPlain_strlen((Char const   *)"--error-limit");
<                                                               val___47 = (Char *)(arg + (tmp___475 + 1UL));
<                                                               if ((unsigned int )val___47 != (unsigned int )((void *)0)) {
<                                                                 if ((unsigned int )"yes" != (unsigned int )((void *)0)) {
<                                                                   tmp___481 = vgPlain_strcmp((Char const   *)val___47, (Char const   *)"yes");
<                                                                   if (tmp___481 == 0) {
<                                                                     tmp___480 = 1;
<                                                                   } else {
<                                                                     tmp___480 = 0;
<                                                                   }
<                                                                 } else {
<                                                                   tmp___480 = 0;
<                                                                 }
<                                                               } else {
<                                                                 tmp___480 = 0;
<                                                               }
<                                                               if (tmp___480) {
<                                                                 vgPlain_clo_error_limit = (unsigned char)1;
<                                                               } else {
<                                                                 if ((unsigned int )val___47 != (unsigned int )((void *)0)) {
<                                                                   if ((unsigned int )"no" != (unsigned int )((void *)0)) {
<                                                                     tmp___478 = vgPlain_strcmp((Char const   *)val___47, (Char const   *)"no");
<                                                                     if (tmp___478 == 0) {
<                                                                       tmp___477 = 1;
<                                                                     } else {
<                                                                       tmp___477 = 0;
<                                                                     }
<                                                                   } else {
<                                                                     tmp___477 = 0;
<                                                                   }
<                                                                 } else {
<                                                                   tmp___477 = 0;
<                                                                 }
<                                                                 if (tmp___477) {
<                                                                   vgPlain_clo_error_limit = (unsigned char)0;
<                                                                 } else {
<                                                                   vgPlain_fmsg_bad_option(arg, "Invalid boolean value \'%s\' (should be \'yes\' or \'no\')\n", val___47);
<                                                                 }
<                                                               }
<                                                             } else {
<                                                               _L___60: /* CIL Label */ 
<                                                               if ((unsigned int )arg != (unsigned int )((void *)0)) {
<                                                                 if ((unsigned int )"--error-exitcode=" != (unsigned int )((void *)0)) {
<                                                                   tmp___466 = vgPlain_strlen((Char const   *)"--error-exitcode");
<                                                                   tmp___467 = vgPlain_strncmp((Char const   *)arg, (Char const   *)"--error-exitcode=", tmp___466 + 1UL);
<                                                                   if (tmp___467 == 0) {
<                                                                     tmp___465 = 1;
<                                                                   } else {
<                                                                     tmp___465 = 0;
<                                                                   }
<                                                                 } else {
<                                                                   tmp___465 = 0;
<                                                                 }
<                                                               } else {
<                                                                 tmp___465 = 0;
<                                                               }
<                                                               if (tmp___465) {
<                                                                 tmp___468 = vgPlain_strlen((Char const   *)"--error-exitcode");
<                                                                 val___46 = (Char *)(arg + (tmp___468 + 1UL));
<                                                                 tmp___469 = vgPlain_strtoll10(val___46, & s___12);
<                                                                 n___12 = tmp___469;
<                                                                 vgPlain_clo_error_exitcode = (int )n___12;
<                                                                 if (0 != (int )*(s___12 + 0)) {
<                                                                   vgPlain_fmsg_bad_option(arg, "");
<                                                                 } else {
<                                                                   if ((Long )vgPlain_clo_error_exitcode != n___12) {
<                                                                     vgPlain_fmsg_bad_option(arg, "");
<                                                                   } else {
< 
<                                                                   }
<                                                                 }
<                                                               } else {
<                                                                 _L___59: /* CIL Label */ 
<                                                                 if ((unsigned int )arg != (unsigned int )((void *)0)) {
<                                                                   if ((unsigned int )"--show-emwarns=" != (unsigned int )((void *)0)) {
<                                                                     tmp___454 = vgPlain_strlen((Char const   *)"--show-emwarns");
<                                                                     tmp___455 = vgPlain_strncmp((Char const   *)arg, (Char const   *)"--show-emwarns=", tmp___454 + 1UL);
<                                                                     if (tmp___455 == 0) {
<                                                                       tmp___453 = 1;
<                                                                     } else {
<                                                                       tmp___453 = 0;
<                                                                     }
<                                                                   } else {
<                                                                     tmp___453 = 0;
<                                                                   }
<                                                                 } else {
<                                                                   tmp___453 = 0;
<                                                                 }
<                                                                 if (tmp___453) {
<                                                                   tmp___456 = vgPlain_strlen((Char const   *)"--show-emwarns");
<                                                                   val___45 = (Char *)(arg + (tmp___456 + 1UL));
<                                                                   if ((unsigned int )val___45 != (unsigned int )((void *)0)) {
<                                                                     if ((unsigned int )"yes" != (unsigned int )((void *)0)) {
<                                                                       tmp___462 = vgPlain_strcmp((Char const   *)val___45, (Char const   *)"yes");
<                                                                       if (tmp___462 == 0) {
<                                                                         tmp___461 = 1;
<                                                                       } else {
<                                                                         tmp___461 = 0;
<                                                                       }
<                                                                     } else {
<                                                                       tmp___461 = 0;
<                                                                     }
<                                                                   } else {
<                                                                     tmp___461 = 0;
<                                                                   }
<                                                                   if (tmp___461) {
<                                                                     vgPlain_clo_show_emwarns = (unsigned char)1;
<                                                                   } else {
<                                                                     if ((unsigned int )val___45 != (unsigned int )((void *)0)) {
<                                                                       if ((unsigned int )"no" != (unsigned int )((void *)0)) {
<                                                                         tmp___459 = vgPlain_strcmp((Char const   *)val___45, (Char const   *)"no");
<                                                                         if (tmp___459 == 0) {
<                                                                           tmp___458 = 1;
<                                                                         } else {
<                                                                           tmp___458 = 0;
<                                                                         }
<                                                                       } else {
<                                                                         tmp___458 = 0;
<                                                                       }
<                                                                     } else {
<                                                                       tmp___458 = 0;
<                                                                     }
<                                                                     if (tmp___458) {
<                                                                       vgPlain_clo_show_emwarns = (unsigned char)0;
<                                                                     } else {
<                                                                       vgPlain_fmsg_bad_option(arg, "Invalid boolean value \'%s\' (should be \'yes\' or \'no\')\n", val___45);
<                                                                     }
<                                                                   }
<                                                                 } else {
<                                                                   _L___58: /* CIL Label */ 
<                                                                   if ((unsigned int )arg != (unsigned int )((void *)0)) {
<                                                                     if ((unsigned int )"--run-libc-freeres=" != (unsigned int )((void *)0)) {
<                                                                       tmp___442 = vgPlain_strlen((Char const   *)"--run-libc-freeres");
<                                                                       tmp___443 = vgPlain_strncmp((Char const   *)arg, (Char const   *)"--run-libc-freeres=", tmp___442 + 1UL);
<                                                                       if (tmp___443 == 0) {
<                                                                         tmp___441 = 1;
<                                                                       } else {
<                                                                         tmp___441 = 0;
<                                                                       }
<                                                                     } else {
<                                                                       tmp___441 = 0;
<                                                                     }
<                                                                   } else {
<                                                                     tmp___441 = 0;
<                                                                   }
<                                                                   if (tmp___441) {
<                                                                     tmp___444 = vgPlain_strlen((Char const   *)"--run-libc-freeres");
<                                                                     val___44 = (Char *)(arg + (tmp___444 + 1UL));
<                                                                     if ((unsigned int )val___44 != (unsigned int )((void *)0)) {
<                                                                       if ((unsigned int )"yes" != (unsigned int )((void *)0)) {
<                                                                         tmp___450 = vgPlain_strcmp((Char const   *)val___44, (Char const   *)"yes");
<                                                                         if (tmp___450 == 0) {
<                                                                           tmp___449 = 1;
<                                                                         } else {
<                                                                           tmp___449 = 0;
<                                                                         }
<                                                                       } else {
<                                                                         tmp___449 = 0;
<                                                                       }
<                                                                     } else {
<                                                                       tmp___449 = 0;
<                                                                     }
<                                                                     if (tmp___449) {
<                                                                       vgPlain_clo_run_libc_freeres = (unsigned char)1;
<                                                                     } else {
<                                                                       if ((unsigned int )val___44 != (unsigned int )((void *)0)) {
<                                                                         if ((unsigned int )"no" != (unsigned int )((void *)0)) {
<                                                                           tmp___447 = vgPlain_strcmp((Char const   *)val___44, (Char const   *)"no");
<                                                                           if (tmp___447 == 0) {
<                                                                             tmp___446 = 1;
<                                                                           } else {
<                                                                             tmp___446 = 0;
<                                                                           }
<                                                                         } else {
<                                                                           tmp___446 = 0;
<                                                                         }
<                                                                       } else {
<                                                                         tmp___446 = 0;
<                                                                       }
<                                                                       if (tmp___446) {
<                                                                         vgPlain_clo_run_libc_freeres = (unsigned char)0;
<                                                                       } else {
<                                                                         vgPlain_fmsg_bad_option(arg, "Invalid boolean value \'%s\' (should be \'yes\' or \'no\')\n", val___44);
<                                                                       }
<                                                                     }
<                                                                   } else {
<                                                                     _L___57: /* CIL Label */ 
<                                                                     if ((unsigned int )arg != (unsigned int )((void *)0)) {
<                                                                       if ((unsigned int )"--show-below-main=" != (unsigned int )((void *)0)) {
<                                                                         tmp___430 = vgPlain_strlen((Char const   *)"--show-below-main");
<                                                                         tmp___431 = vgPlain_strncmp((Char const   *)arg, (Char const   *)"--show-below-main=", tmp___430 + 1UL);
<                                                                         if (tmp___431 == 0) {
<                                                                           tmp___429 = 1;
<                                                                         } else {
<                                                                           tmp___429 = 0;
<                                                                         }
<                                                                       } else {
<                                                                         tmp___429 = 0;
<                                                                       }
<                                                                     } else {
<                                                                       tmp___429 = 0;
<                                                                     }
<                                                                     if (tmp___429) {
<                                                                       tmp___432 = vgPlain_strlen((Char const   *)"--show-below-main");
<                                                                       val___43 = (Char *)(arg + (tmp___432 + 1UL));
<                                                                       if ((unsigned int )val___43 != (unsigned int )((void *)0)) {
<                                                                         if ((unsigned int )"yes" != (unsigned int )((void *)0)) {
<                                                                           tmp___438 = vgPlain_strcmp((Char const   *)val___43, (Char const   *)"yes");
<                                                                           if (tmp___438 == 0) {
<                                                                             tmp___437 = 1;
<                                                                           } else {
<                                                                             tmp___437 = 0;
<                                                                           }
<                                                                         } else {
<                                                                           tmp___437 = 0;
<                                                                         }
<                                                                       } else {
<                                                                         tmp___437 = 0;
<                                                                       }
<                                                                       if (tmp___437) {
<                                                                         vgPlain_clo_show_below_main = (unsigned char)1;
<                                                                       } else {
<                                                                         if ((unsigned int )val___43 != (unsigned int )((void *)0)) {
<                                                                           if ((unsigned int )"no" != (unsigned int )((void *)0)) {
<                                                                             tmp___435 = vgPlain_strcmp((Char const   *)val___43, (Char const   *)"no");
<                                                                             if (tmp___435 == 0) {
<                                                                               tmp___434 = 1;
<                                                                             } else {
<                                                                               tmp___434 = 0;
<                                                                             }
<                                                                           } else {
<                                                                             tmp___434 = 0;
<                                                                           }
<                                                                         } else {
<                                                                           tmp___434 = 0;
<                                                                         }
<                                                                         if (tmp___434) {
<                                                                           vgPlain_clo_show_below_main = (unsigned char)0;
<                                                                         } else {
<                                                                           vgPlain_fmsg_bad_option(arg, "Invalid boolean value \'%s\' (should be \'yes\' or \'no\')\n", val___43);
<                                                                         }
<                                                                       }
<                                                                     } else {
<                                                                       _L___56: /* CIL Label */ 
<                                                                       if ((unsigned int )arg != (unsigned int )((void *)0)) {
<                                                                         if ((unsigned int )"--time-stamp=" != (unsigned int )((void *)0)) {
<                                                                           tmp___418 = vgPlain_strlen((Char const   *)"--time-stamp");
<                                                                           tmp___419 = vgPlain_strncmp((Char const   *)arg, (Char const   *)"--time-stamp=", tmp___418 + 1UL);
<                                                                           if (tmp___419 == 0) {
<                                                                             tmp___417 = 1;
<                                                                           } else {
<                                                                             tmp___417 = 0;
<                                                                           }
<                                                                         } else {
<                                                                           tmp___417 = 0;
<                                                                         }
<                                                                       } else {
<                                                                         tmp___417 = 0;
<                                                                       }
<                                                                       if (tmp___417) {
<                                                                         tmp___420 = vgPlain_strlen((Char const   *)"--time-stamp");
<                                                                         val___42 = (Char *)(arg + (tmp___420 + 1UL));
<                                                                         if ((unsigned int )val___42 != (unsigned int )((void *)0)) {
<                                                                           if ((unsigned int )"yes" != (unsigned int )((void *)0)) {
<                                                                             tmp___426 = vgPlain_strcmp((Char const   *)val___42, (Char const   *)"yes");
<                                                                             if (tmp___426 == 0) {
<                                                                               tmp___425 = 1;
<                                                                             } else {
<                                                                               tmp___425 = 0;
<                                                                             }
<                                                                           } else {
<                                                                             tmp___425 = 0;
<                                                                           }
<                                                                         } else {
<                                                                           tmp___425 = 0;
<                                                                         }
<                                                                         if (tmp___425) {
<                                                                           vgPlain_clo_time_stamp = (unsigned char)1;
<                                                                         } else {
<                                                                           if ((unsigned int )val___42 != (unsigned int )((void *)0)) {
<                                                                             if ((unsigned int )"no" != (unsigned int )((void *)0)) {
<                                                                               tmp___423 = vgPlain_strcmp((Char const   *)val___42, (Char const   *)"no");
<                                                                               if (tmp___423 == 0) {
<                                                                                 tmp___422 = 1;
<                                                                               } else {
<                                                                                 tmp___422 = 0;
<                                                                               }
<                                                                             } else {
<                                                                               tmp___422 = 0;
<                                                                             }
<                                                                           } else {
<                                                                             tmp___422 = 0;
<                                                                           }
<                                                                           if (tmp___422) {
<                                                                             vgPlain_clo_time_stamp = (unsigned char)0;
<                                                                           } else {
<                                                                             vgPlain_fmsg_bad_option(arg, "Invalid boolean value \'%s\' (should be \'yes\' or \'no\')\n", val___42);
<                                                                           }
<                                                                         }
<                                                                       } else {
<                                                                         _L___55: /* CIL Label */ 
<                                                                         if ((unsigned int )arg != (unsigned int )((void *)0)) {
<                                                                           if ((unsigned int )"--track-fds=" != (unsigned int )((void *)0)) {
<                                                                             tmp___406 = vgPlain_strlen((Char const   *)"--track-fds");
<                                                                             tmp___407 = vgPlain_strncmp((Char const   *)arg, (Char const   *)"--track-fds=", tmp___406 + 1UL);
<                                                                             if (tmp___407 == 0) {
<                                                                               tmp___405 = 1;
<                                                                             } else {
<                                                                               tmp___405 = 0;
<                                                                             }
<                                                                           } else {
<                                                                             tmp___405 = 0;
<                                                                           }
<                                                                         } else {
<                                                                           tmp___405 = 0;
<                                                                         }
<                                                                         if (tmp___405) {
<                                                                           tmp___408 = vgPlain_strlen((Char const   *)"--track-fds");
<                                                                           val___41 = (Char *)(arg + (tmp___408 + 1UL));
<                                                                           if ((unsigned int )val___41 != (unsigned int )((void *)0)) {
<                                                                             if ((unsigned int )"yes" != (unsigned int )((void *)0)) {
<                                                                               tmp___414 = vgPlain_strcmp((Char const   *)val___41, (Char const   *)"yes");
<                                                                               if (tmp___414 == 0) {
<                                                                                 tmp___413 = 1;
<                                                                               } else {
<                                                                                 tmp___413 = 0;
<                                                                               }
<                                                                             } else {
<                                                                               tmp___413 = 0;
<                                                                             }
<                                                                           } else {
<                                                                             tmp___413 = 0;
<                                                                           }
<                                                                           if (tmp___413) {
<                                                                             vgPlain_clo_track_fds = (unsigned char)1;
<                                                                           } else {
<                                                                             if ((unsigned int )val___41 != (unsigned int )((void *)0)) {
<                                                                               if ((unsigned int )"no" != (unsigned int )((void *)0)) {
<                                                                                 tmp___411 = vgPlain_strcmp((Char const   *)val___41, (Char const   *)"no");
<                                                                                 if (tmp___411 == 0) {
<                                                                                   tmp___410 = 1;
<                                                                                 } else {
<                                                                                   tmp___410 = 0;
<                                                                                 }
<                                                                               } else {
<                                                                                 tmp___410 = 0;
<                                                                               }
<                                                                             } else {
<                                                                               tmp___410 = 0;
<                                                                             }
<                                                                             if (tmp___410) {
<                                                                               vgPlain_clo_track_fds = (unsigned char)0;
<                                                                             } else {
<                                                                               vgPlain_fmsg_bad_option(arg, "Invalid boolean value \'%s\' (should be \'yes\' or \'no\')\n", val___41);
<                                                                             }
<                                                                           }
<                                                                         } else {
<                                                                           _L___54: /* CIL Label */ 
<                                                                           if ((unsigned int )arg != (unsigned int )((void *)0)) {
<                                                                             if ((unsigned int )"--trace-children=" != (unsigned int )((void *)0)) {
<                                                                               tmp___394 = vgPlain_strlen((Char const   *)"--trace-children");
<                                                                               tmp___395 = vgPlain_strncmp((Char const   *)arg, (Char const   *)"--trace-children=", tmp___394 + 1UL);
<                                                                               if (tmp___395 == 0) {
<                                                                                 tmp___393 = 1;
<                                                                               } else {
<                                                                                 tmp___393 = 0;
<                                                                               }
<                                                                             } else {
<                                                                               tmp___393 = 0;
<                                                                             }
<                                                                           } else {
<                                                                             tmp___393 = 0;
<                                                                           }
<                                                                           if (tmp___393) {
<                                                                             tmp___396 = vgPlain_strlen((Char const   *)"--trace-children");
<                                                                             val___40 = (Char *)(arg + (tmp___396 + 1UL));
<                                                                             if ((unsigned int )val___40 != (unsigned int )((void *)0)) {
<                                                                               if ((unsigned int )"yes" != (unsigned int )((void *)0)) {
<                                                                                 tmp___402 = vgPlain_strcmp((Char const   *)val___40, (Char const   *)"yes");
<                                                                                 if (tmp___402 == 0) {
<                                                                                   tmp___401 = 1;
<                                                                                 } else {
<                                                                                   tmp___401 = 0;
<                                                                                 }
<                                                                               } else {
<                                                                                 tmp___401 = 0;
<                                                                               }
<                                                                             } else {
<                                                                               tmp___401 = 0;
<                                                                             }
<                                                                             if (tmp___401) {
<                                                                               vgPlain_clo_trace_children = (unsigned char)1;
<                                                                             } else {
<                                                                               if ((unsigned int )val___40 != (unsigned int )((void *)0)) {
<                                                                                 if ((unsigned int )"no" != (unsigned int )((void *)0)) {
<                                                                                   tmp___399 = vgPlain_strcmp((Char const   *)val___40, (Char const   *)"no");
<                                                                                   if (tmp___399 == 0) {
<                                                                                     tmp___398 = 1;
<                                                                                   } else {
<                                                                                     tmp___398 = 0;
<                                                                                   }
<                                                                                 } else {
<                                                                                   tmp___398 = 0;
<                                                                                 }
<                                                                               } else {
<                                                                                 tmp___398 = 0;
<                                                                               }
<                                                                               if (tmp___398) {
<                                                                                 vgPlain_clo_trace_children = (unsigned char)0;
<                                                                               } else {
<                                                                                 vgPlain_fmsg_bad_option(arg, "Invalid boolean value \'%s\' (should be \'yes\' or \'no\')\n", val___40);
<                                                                               }
<                                                                             }
<                                                                           } else {
<                                                                             _L___53: /* CIL Label */ 
<                                                                             if ((unsigned int )arg != (unsigned int )((void *)0)) {
<                                                                               if ((unsigned int )"--child-silent-after-fork=" != (unsigned int )((void *)0)) {
<                                                                                 tmp___382 = vgPlain_strlen((Char const   *)"--child-silent-after-fork");
<                                                                                 tmp___383 = vgPlain_strncmp((Char const   *)arg, (Char const   *)"--child-silent-after-fork=", tmp___382 + 1UL);
<                                                                                 if (tmp___383 == 0) {
<                                                                                   tmp___381 = 1;
<                                                                                 } else {
<                                                                                   tmp___381 = 0;
<                                                                                 }
<                                                                               } else {
<                                                                                 tmp___381 = 0;
<                                                                               }
<                                                                             } else {
<                                                                               tmp___381 = 0;
<                                                                             }
<                                                                             if (tmp___381) {
<                                                                               tmp___384 = vgPlain_strlen((Char const   *)"--child-silent-after-fork");
<                                                                               val___39 = (Char *)(arg + (tmp___384 + 1UL));
<                                                                               if ((unsigned int )val___39 != (unsigned int )((void *)0)) {
<                                                                                 if ((unsigned int )"yes" != (unsigned int )((void *)0)) {
<                                                                                   tmp___390 = vgPlain_strcmp((Char const   *)val___39, (Char const   *)"yes");
<                                                                                   if (tmp___390 == 0) {
<                                                                                     tmp___389 = 1;
<                                                                                   } else {
<                                                                                     tmp___389 = 0;
<                                                                                   }
<                                                                                 } else {
<                                                                                   tmp___389 = 0;
<                                                                                 }
<                                                                               } else {
<                                                                                 tmp___389 = 0;
<                                                                               }
<                                                                               if (tmp___389) {
<                                                                                 vgPlain_clo_child_silent_after_fork = (unsigned char)1;
<                                                                               } else {
<                                                                                 if ((unsigned int )val___39 != (unsigned int )((void *)0)) {
<                                                                                   if ((unsigned int )"no" != (unsigned int )((void *)0)) {
<                                                                                     tmp___387 = vgPlain_strcmp((Char const   *)val___39, (Char const   *)"no");
<                                                                                     if (tmp___387 == 0) {
<                                                                                       tmp___386 = 1;
<                                                                                     } else {
<                                                                                       tmp___386 = 0;
<                                                                                     }
<                                                                                   } else {
<                                                                                     tmp___386 = 0;
<                                                                                   }
<                                                                                 } else {
<                                                                                   tmp___386 = 0;
<                                                                                 }
<                                                                                 if (tmp___386) {
<                                                                                   vgPlain_clo_child_silent_after_fork = (unsigned char)0;
<                                                                                 } else {
<                                                                                   vgPlain_fmsg_bad_option(arg, "Invalid boolean value \'%s\' (should be \'yes\' or \'no\')\n", val___39);
<                                                                                 }
<                                                                               }
<                                                                             } else {
<                                                                               _L___52: /* CIL Label */ 
<                                                                               if ((unsigned int )arg != (unsigned int )((void *)0)) {
<                                                                                 if ((unsigned int )"--fair-sched=" != (unsigned int )((void *)0)) {
<                                                                                   tmp___376 = vgPlain_strlen((Char const   *)"--fair-sched");
<                                                                                   tmp___377 = vgPlain_strncmp((Char const   *)arg, (Char const   *)"--fair-sched=", tmp___376 + 1UL);
<                                                                                   if (tmp___377 == 0) {
<                                                                                     tmp___375 = 1;
<                                                                                   } else {
<                                                                                     tmp___375 = 0;
<                                                                                   }
<                                                                                 } else {
<                                                                                   tmp___375 = 0;
<                                                                                 }
<                                                                               } else {
<                                                                                 tmp___375 = 0;
<                                                                               }
<                                                                               if (tmp___375) {
<                                                                                 tmp___378 = vgPlain_strlen((Char const   *)"--fair-sched");
<                                                                                 val___38 = (Char *)(arg + (tmp___378 + 1UL));
<                                                                                 tmp_str = val___38;
<                                                                                 tmp___14 = vgPlain_strcmp((Char const   *)tmp_str, (Char const   *)"yes");
<                                                                                 if (tmp___14 == 0) {
<                                                                                   vgPlain_clo_fair_sched = (enum FairSchedType )1;
<                                                                                 } else {
<                                                                                   tmp___13 = vgPlain_strcmp((Char const   *)tmp_str, (Char const   *)"try");
<                                                                                   if (tmp___13 == 0) {
<                                                                                     vgPlain_clo_fair_sched = (enum FairSchedType )2;
<                                                                                   } else {
<                                                                                     tmp___12 = vgPlain_strcmp((Char const   *)tmp_str, (Char const   *)"no");
<                                                                                     if (tmp___12 == 0) {
<                                                                                       vgPlain_clo_fair_sched = (enum FairSchedType )0;
<                                                                                     } else {
<                                                                                       vgPlain_fmsg_bad_option(arg, "");
<                                                                                     }
<                                                                                   }
<                                                                                 }
<                                                                               } else {
<                                                                                 _L___51: /* CIL Label */ 
<                                                                                 if ((unsigned int )arg != (unsigned int )((void *)0)) {
<                                                                                   if ((unsigned int )"--trace-sched=" != (unsigned int )((void *)0)) {
<                                                                                     tmp___364 = vgPlain_strlen((Char const   *)"--trace-sched");
<                                                                                     tmp___365 = vgPlain_strncmp((Char const   *)arg, (Char const   *)"--trace-sched=", tmp___364 + 1UL);
<                                                                                     if (tmp___365 == 0) {
<                                                                                       tmp___363 = 1;
<                                                                                     } else {
<                                                                                       tmp___363 = 0;
<                                                                                     }
<                                                                                   } else {
<                                                                                     tmp___363 = 0;
<                                                                                   }
<                                                                                 } else {
<                                                                                   tmp___363 = 0;
<                                                                                 }
<                                                                                 if (tmp___363) {
<                                                                                   tmp___366 = vgPlain_strlen((Char const   *)"--trace-sched");
<                                                                                   val___37 = (Char *)(arg + (tmp___366 + 1UL));
<                                                                                   if ((unsigned int )val___37 != (unsigned int )((void *)0)) {
<                                                                                     if ((unsigned int )"yes" != (unsigned int )((void *)0)) {
<                                                                                       tmp___372 = vgPlain_strcmp((Char const   *)val___37, (Char const   *)"yes");
<                                                                                       if (tmp___372 == 0) {
<                                                                                         tmp___371 = 1;
<                                                                                       } else {
<                                                                                         tmp___371 = 0;
<                                                                                       }
<                                                                                     } else {
<                                                                                       tmp___371 = 0;
<                                                                                     }
<                                                                                   } else {
<                                                                                     tmp___371 = 0;
<                                                                                   }
<                                                                                   if (tmp___371) {
<                                                                                     vgPlain_clo_trace_sched = (unsigned char)1;
<                                                                                   } else {
<                                                                                     if ((unsigned int )val___37 != (unsigned int )((void *)0)) {
<                                                                                       if ((unsigned int )"no" != (unsigned int )((void *)0)) {
<                                                                                         tmp___369 = vgPlain_strcmp((Char const   *)val___37, (Char const   *)"no");
<                                                                                         if (tmp___369 == 0) {
<                                                                                           tmp___368 = 1;
<                                                                                         } else {
<                                                                                           tmp___368 = 0;
<                                                                                         }
<                                                                                       } else {
<                                                                                         tmp___368 = 0;
<                                                                                       }
<                                                                                     } else {
<                                                                                       tmp___368 = 0;
<                                                                                     }
<                                                                                     if (tmp___368) {
<                                                                                       vgPlain_clo_trace_sched = (unsigned char)0;
<                                                                                     } else {
<                                                                                       vgPlain_fmsg_bad_option(arg, "Invalid boolean value \'%s\' (should be \'yes\' or \'no\')\n", val___37);
<                                                                                     }
<                                                                                   }
<                                                                                 } else {
<                                                                                   _L___50: /* CIL Label */ 
<                                                                                   if ((unsigned int )arg != (unsigned int )((void *)0)) {
<                                                                                     if ((unsigned int )"--trace-signals=" != (unsigned int )((void *)0)) {
<                                                                                       tmp___352 = vgPlain_strlen((Char const   *)"--trace-signals");
<                                                                                       tmp___353 = vgPlain_strncmp((Char const   *)arg, (Char const   *)"--trace-signals=", tmp___352 + 1UL);
<                                                                                       if (tmp___353 == 0) {
<                                                                                         tmp___351 = 1;
<                                                                                       } else {
<                                                                                         tmp___351 = 0;
<                                                                                       }
<                                                                                     } else {
<                                                                                       tmp___351 = 0;
<                                                                                     }
<                                                                                   } else {
<                                                                                     tmp___351 = 0;
<                                                                                   }
<                                                                                   if (tmp___351) {
<                                                                                     tmp___354 = vgPlain_strlen((Char const   *)"--trace-signals");
<                                                                                     val___36 = (Char *)(arg + (tmp___354 + 1UL));
<                                                                                     if ((unsigned int )val___36 != (unsigned int )((void *)0)) {
<                                                                                       if ((unsigned int )"yes" != (unsigned int )((void *)0)) {
<                                                                                         tmp___360 = vgPlain_strcmp((Char const   *)val___36, (Char const   *)"yes");
<                                                                                         if (tmp___360 == 0) {
<                                                                                           tmp___359 = 1;
<                                                                                         } else {
<                                                                                           tmp___359 = 0;
<                                                                                         }
<                                                                                       } else {
<                                                                                         tmp___359 = 0;
<                                                                                       }
<                                                                                     } else {
<                                                                                       tmp___359 = 0;
<                                                                                     }
<                                                                                     if (tmp___359) {
<                                                                                       vgPlain_clo_trace_signals = (unsigned char)1;
<                                                                                     } else {
<                                                                                       if ((unsigned int )val___36 != (unsigned int )((void *)0)) {
<                                                                                         if ((unsigned int )"no" != (unsigned int )((void *)0)) {
<                                                                                           tmp___357 = vgPlain_strcmp((Char const   *)val___36, (Char const   *)"no");
<                                                                                           if (tmp___357 == 0) {
<                                                                                             tmp___356 = 1;
<                                                                                           } else {
<                                                                                             tmp___356 = 0;
<                                                                                           }
<                                                                                         } else {
<                                                                                           tmp___356 = 0;
<                                                                                         }
<                                                                                       } else {
<                                                                                         tmp___356 = 0;
<                                                                                       }
<                                                                                       if (tmp___356) {
<                                                                                         vgPlain_clo_trace_signals = (unsigned char)0;
<                                                                                       } else {
<                                                                                         vgPlain_fmsg_bad_option(arg, "Invalid boolean value \'%s\' (should be \'yes\' or \'no\')\n", val___36);
<                                                                                       }
<                                                                                     }
<                                                                                   } else {
<                                                                                     _L___49: /* CIL Label */ 
<                                                                                     if ((unsigned int )arg != (unsigned int )((void *)0)) {
<                                                                                       if ((unsigned int )"--trace-symtab=" != (unsigned int )((void *)0)) {
<                                                                                         tmp___340 = vgPlain_strlen((Char const   *)"--trace-symtab");
<                                                                                         tmp___341 = vgPlain_strncmp((Char const   *)arg, (Char const   *)"--trace-symtab=", tmp___340 + 1UL);
<                                                                                         if (tmp___341 == 0) {
<                                                                                           tmp___339 = 1;
<                                                                                         } else {
<                                                                                           tmp___339 = 0;
<                                                                                         }
<                                                                                       } else {
<                                                                                         tmp___339 = 0;
<                                                                                       }
<                                                                                     } else {
<                                                                                       tmp___339 = 0;
<                                                                                     }
<                                                                                     if (tmp___339) {
<                                                                                       tmp___342 = vgPlain_strlen((Char const   *)"--trace-symtab");
<                                                                                       val___35 = (Char *)(arg + (tmp___342 + 1UL));
<                                                                                       if ((unsigned int )val___35 != (unsigned int )((void *)0)) {
<                                                                                         if ((unsigned int )"yes" != (unsigned int )((void *)0)) {
<                                                                                           tmp___348 = vgPlain_strcmp((Char const   *)val___35, (Char const   *)"yes");
<                                                                                           if (tmp___348 == 0) {
<                                                                                             tmp___347 = 1;
<                                                                                           } else {
<                                                                                             tmp___347 = 0;
<                                                                                           }
<                                                                                         } else {
<                                                                                           tmp___347 = 0;
<                                                                                         }
<                                                                                       } else {
<                                                                                         tmp___347 = 0;
<                                                                                       }
<                                                                                       if (tmp___347) {
<                                                                                         vgPlain_clo_trace_symtab = (unsigned char)1;
<                                                                                       } else {
<                                                                                         if ((unsigned int )val___35 != (unsigned int )((void *)0)) {
<                                                                                           if ((unsigned int )"no" != (unsigned int )((void *)0)) {
<                                                                                             tmp___345 = vgPlain_strcmp((Char const   *)val___35, (Char const   *)"no");
<                                                                                             if (tmp___345 == 0) {
<                                                                                               tmp___344 = 1;
<                                                                                             } else {
<                                                                                               tmp___344 = 0;
<                                                                                             }
<                                                                                           } else {
<                                                                                             tmp___344 = 0;
<                                                                                           }
<                                                                                         } else {
<                                                                                           tmp___344 = 0;
<                                                                                         }
<                                                                                         if (tmp___344) {
<                                                                                           vgPlain_clo_trace_symtab = (unsigned char)0;
<                                                                                         } else {
<                                                                                           vgPlain_fmsg_bad_option(arg, "Invalid boolean value \'%s\' (should be \'yes\' or \'no\')\n", val___35);
<                                                                                         }
<                                                                                       }
<                                                                                     } else {
<                                                                                       _L___48: /* CIL Label */ 
<                                                                                       if ((unsigned int )arg != (unsigned int )((void *)0)) {
<                                                                                         if ((unsigned int )"--trace-symtab-patt=" != (unsigned int )((void *)0)) {
<                                                                                           tmp___334 = vgPlain_strlen((Char const   *)"--trace-symtab-patt");
<                                                                                           tmp___335 = vgPlain_strncmp((Char const   *)arg, (Char const   *)"--trace-symtab-patt=", tmp___334 + 1UL);
<                                                                                           if (tmp___335 == 0) {
<                                                                                             tmp___333 = 1;
<                                                                                           } else {
<                                                                                             tmp___333 = 0;
<                                                                                           }
<                                                                                         } else {
<                                                                                           tmp___333 = 0;
<                                                                                         }
<                                                                                       } else {
<                                                                                         tmp___333 = 0;
<                                                                                       }
<                                                                                       if (tmp___333) {
<                                                                                         tmp___336 = vgPlain_strlen((Char const   *)"--trace-symtab-patt");
<                                                                                         val___34 = (Char *)(arg + (tmp___336 + 1UL));
<                                                                                         vgPlain_clo_trace_symtab_patt = (HChar *)val___34;
<                                                                                       } else {
<                                                                                         _L___47: /* CIL Label */ 
<                                                                                         if ((unsigned int )arg != (unsigned int )((void *)0)) {
<                                                                                           if ((unsigned int )"--trace-cfi=" != (unsigned int )((void *)0)) {
<                                                                                             tmp___322 = vgPlain_strlen((Char const   *)"--trace-cfi");
<                                                                                             tmp___323 = vgPlain_strncmp((Char const   *)arg, (Char const   *)"--trace-cfi=", tmp___322 + 1UL);
<                                                                                             if (tmp___323 == 0) {
<                                                                                               tmp___321 = 1;
<                                                                                             } else {
<                                                                                               tmp___321 = 0;
<                                                                                             }
<                                                                                           } else {
<                                                                                             tmp___321 = 0;
<                                                                                           }
<                                                                                         } else {
<                                                                                           tmp___321 = 0;
<                                                                                         }
<                                                                                         if (tmp___321) {
<                                                                                           tmp___324 = vgPlain_strlen((Char const   *)"--trace-cfi");
<                                                                                           val___33 = (Char *)(arg + (tmp___324 + 1UL));
<                                                                                           if ((unsigned int )val___33 != (unsigned int )((void *)0)) {
<                                                                                             if ((unsigned int )"yes" != (unsigned int )((void *)0)) {
<                                                                                               tmp___330 = vgPlain_strcmp((Char const   *)val___33, (Char const   *)"yes");
<                                                                                               if (tmp___330 == 0) {
<                                                                                                 tmp___329 = 1;
<                                                                                               } else {
<                                                                                                 tmp___329 = 0;
<                                                                                               }
<                                                                                             } else {
<                                                                                               tmp___329 = 0;
<                                                                                             }
<                                                                                           } else {
<                                                                                             tmp___329 = 0;
<                                                                                           }
<                                                                                           if (tmp___329) {
<                                                                                             vgPlain_clo_trace_cfi = (unsigned char)1;
<                                                                                           } else {
<                                                                                             if ((unsigned int )val___33 != (unsigned int )((void *)0)) {
<                                                                                               if ((unsigned int )"no" != (unsigned int )((void *)0)) {
<                                                                                                 tmp___327 = vgPlain_strcmp((Char const   *)val___33, (Char const   *)"no");
<                                                                                                 if (tmp___327 == 0) {
<                                                                                                   tmp___326 = 1;
<                                                                                                 } else {
<                                                                                                   tmp___326 = 0;
<                                                                                                 }
<                                                                                               } else {
<                                                                                                 tmp___326 = 0;
<                                                                                               }
<                                                                                             } else {
<                                                                                               tmp___326 = 0;
<                                                                                             }
<                                                                                             if (tmp___326) {
<                                                                                               vgPlain_clo_trace_cfi = (unsigned char)0;
<                                                                                             } else {
<                                                                                               vgPlain_fmsg_bad_option(arg, "Invalid boolean value \'%s\' (should be \'yes\' or \'no\')\n", val___33);
<                                                                                             }
<                                                                                           }
<                                                                                         } else {
<                                                                                           _L___46: /* CIL Label */ 
<                                                                                           if ((unsigned int )arg != (unsigned int )((void *)0)) {
<                                                                                             if ((unsigned int )"--debug-dump=syms" != (unsigned int )((void *)0)) {
<                                                                                               tmp___318 = vgPlain_strcmp((Char const   *)arg, (Char const   *)"--debug-dump=syms");
<                                                                                               if (tmp___318 == 0) {
<                                                                                                 tmp___317 = 1;
<                                                                                               } else {
<                                                                                                 tmp___317 = 0;
<                                                                                               }
<                                                                                             } else {
<                                                                                               tmp___317 = 0;
<                                                                                             }
<                                                                                           } else {
<                                                                                             tmp___317 = 0;
<                                                                                           }
<                                                                                           if (tmp___317) {
<                                                                                             vgPlain_clo_debug_dump_syms = (unsigned char)1;
<                                                                                           } else {
<                                                                                             _L___45: /* CIL Label */ 
<                                                                                             if ((unsigned int )arg != (unsigned int )((void *)0)) {
<                                                                                               if ((unsigned int )"--debug-dump=line" != (unsigned int )((void *)0)) {
<                                                                                                 tmp___315 = vgPlain_strcmp((Char const   *)arg, (Char const   *)"--debug-dump=line");
<                                                                                                 if (tmp___315 == 0) {
<                                                                                                   tmp___314 = 1;
<                                                                                                 } else {
<                                                                                                   tmp___314 = 0;
<                                                                                                 }
<                                                                                               } else {
<                                                                                                 tmp___314 = 0;
<                                                                                               }
<                                                                                             } else {
<                                                                                               tmp___314 = 0;
<                                                                                             }
<                                                                                             if (tmp___314) {
<                                                                                               vgPlain_clo_debug_dump_line = (unsigned char)1;
<                                                                                             } else {
<                                                                                               _L___44: /* CIL Label */ 
<                                                                                               if ((unsigned int )arg != (unsigned int )((void *)0)) {
<                                                                                                 if ((unsigned int )"--debug-dump=frames" != (unsigned int )((void *)0)) {
<                                                                                                   tmp___312 = vgPlain_strcmp((Char const   *)arg, (Char const   *)"--debug-dump=frames");
<                                                                                                   if (tmp___312 == 0) {
<                                                                                                     tmp___311 = 1;
<                                                                                                   } else {
<                                                                                                     tmp___311 = 0;
<                                                                                                   }
<                                                                                                 } else {
<                                                                                                   tmp___311 = 0;
<                                                                                                 }
<                                                                                               } else {
<                                                                                                 tmp___311 = 0;
<                                                                                               }
<                                                                                               if (tmp___311) {
<                                                                                                 vgPlain_clo_debug_dump_frames = (unsigned char)1;
<                                                                                               } else {
<                                                                                                 _L___43: /* CIL Label */ 
<                                                                                                 if ((unsigned int )arg != (unsigned int )((void *)0)) {
<                                                                                                   if ((unsigned int )"--trace-redir=" != (unsigned int )((void *)0)) {
<                                                                                                     tmp___301 = vgPlain_strlen((Char const   *)"--trace-redir");
<                                                                                                     tmp___302 = vgPlain_strncmp((Char const   *)arg, (Char const   *)"--trace-redir=", tmp___301 + 1UL);
<                                                                                                     if (tmp___302 == 0) {
<                                                                                                       tmp___300 = 1;
<                                                                                                     } else {
<                                                                                                       tmp___300 = 0;
<                                                                                                     }
<                                                                                                   } else {
<                                                                                                     tmp___300 = 0;
<                                                                                                   }
<                                                                                                 } else {
<                                                                                                   tmp___300 = 0;
<                                                                                                 }
<                                                                                                 if (tmp___300) {
<                                                                                                   tmp___303 = vgPlain_strlen((Char const   *)"--trace-redir");
<                                                                                                   val___32 = (Char *)(arg + (tmp___303 + 1UL));
<                                                                                                   if ((unsigned int )val___32 != (unsigned int )((void *)0)) {
<                                                                                                     if ((unsigned int )"yes" != (unsigned int )((void *)0)) {
<                                                                                                       tmp___309 = vgPlain_strcmp((Char const   *)val___32, (Char const   *)"yes");
<                                                                                                       if (tmp___309 == 0) {
<                                                                                                         tmp___308 = 1;
<                                                                                                       } else {
<                                                                                                         tmp___308 = 0;
<                                                                                                       }
<                                                                                                     } else {
<                                                                                                       tmp___308 = 0;
<                                                                                                     }
<                                                                                                   } else {
<                                                                                                     tmp___308 = 0;
<                                                                                                   }
<                                                                                                   if (tmp___308) {
<                                                                                                     vgPlain_clo_trace_redir = (unsigned char)1;
<                                                                                                   } else {
<                                                                                                     if ((unsigned int )val___32 != (unsigned int )((void *)0)) {
<                                                                                                       if ((unsigned int )"no" != (unsigned int )((void *)0)) {
<                                                                                                         tmp___306 = vgPlain_strcmp((Char const   *)val___32, (Char const   *)"no");
<                                                                                                         if (tmp___306 == 0) {
<                                                                                                           tmp___305 = 1;
<                                                                                                         } else {
<                                                                                                           tmp___305 = 0;
<                                                                                                         }
<                                                                                                       } else {
<                                                                                                         tmp___305 = 0;
<                                                                                                       }
<                                                                                                     } else {
<                                                                                                       tmp___305 = 0;
<                                                                                                     }
<                                                                                                     if (tmp___305) {
<                                                                                                       vgPlain_clo_trace_redir = (unsigned char)0;
<                                                                                                     } else {
<                                                                                                       vgPlain_fmsg_bad_option(arg, "Invalid boolean value \'%s\' (should be \'yes\' or \'no\')\n", val___32);
<                                                                                                     }
<                                                                                                   }
<                                                                                                 } else {
<                                                                                                   _L___42: /* CIL Label */ 
<                                                                                                   if ((unsigned int )arg != (unsigned int )((void *)0)) {
<                                                                                                     if ((unsigned int )"--trace-syscalls=" != (unsigned int )((void *)0)) {
<                                                                                                       tmp___289 = vgPlain_strlen((Char const   *)"--trace-syscalls");
<                                                                                                       tmp___290 = vgPlain_strncmp((Char const   *)arg, (Char const   *)"--trace-syscalls=", tmp___289 + 1UL);
<                                                                                                       if (tmp___290 == 0) {
<                                                                                                         tmp___288 = 1;
<                                                                                                       } else {
<                                                                                                         tmp___288 = 0;
<                                                                                                       }
<                                                                                                     } else {
<                                                                                                       tmp___288 = 0;
<                                                                                                     }
<                                                                                                   } else {
<                                                                                                     tmp___288 = 0;
<                                                                                                   }
<                                                                                                   if (tmp___288) {
<                                                                                                     tmp___291 = vgPlain_strlen((Char const   *)"--trace-syscalls");
<                                                                                                     val___31 = (Char *)(arg + (tmp___291 + 1UL));
<                                                                                                     if ((unsigned int )val___31 != (unsigned int )((void *)0)) {
<                                                                                                       if ((unsigned int )"yes" != (unsigned int )((void *)0)) {
<                                                                                                         tmp___297 = vgPlain_strcmp((Char const   *)val___31, (Char const   *)"yes");
<                                                                                                         if (tmp___297 == 0) {
<                                                                                                           tmp___296 = 1;
<                                                                                                         } else {
<                                                                                                           tmp___296 = 0;
<                                                                                                         }
<                                                                                                       } else {
<                                                                                                         tmp___296 = 0;
<                                                                                                       }
<                                                                                                     } else {
<                                                                                                       tmp___296 = 0;
<                                                                                                     }
<                                                                                                     if (tmp___296) {
<                                                                                                       vgPlain_clo_trace_syscalls = (unsigned char)1;
<                                                                                                     } else {
<                                                                                                       if ((unsigned int )val___31 != (unsigned int )((void *)0)) {
<                                                                                                         if ((unsigned int )"no" != (unsigned int )((void *)0)) {
<                                                                                                           tmp___294 = vgPlain_strcmp((Char const   *)val___31, (Char const   *)"no");
<                                                                                                           if (tmp___294 == 0) {
<                                                                                                             tmp___293 = 1;
<                                                                                                           } else {
<                                                                                                             tmp___293 = 0;
<                                                                                                           }
<                                                                                                         } else {
<                                                                                                           tmp___293 = 0;
<                                                                                                         }
<                                                                                                       } else {
<                                                                                                         tmp___293 = 0;
<                                                                                                       }
<                                                                                                       if (tmp___293) {
<                                                                                                         vgPlain_clo_trace_syscalls = (unsigned char)0;
<                                                                                                       } else {
<                                                                                                         vgPlain_fmsg_bad_option(arg, "Invalid boolean value \'%s\' (should be \'yes\' or \'no\')\n", val___31);
<                                                                                                       }
<                                                                                                     }
<                                                                                                   } else {
<                                                                                                     _L___41: /* CIL Label */ 
<                                                                                                     if ((unsigned int )arg != (unsigned int )((void *)0)) {
<                                                                                                       if ((unsigned int )"--wait-for-gdb=" != (unsigned int )((void *)0)) {
<                                                                                                         tmp___277 = vgPlain_strlen((Char const   *)"--wait-for-gdb");
<                                                                                                         tmp___278 = vgPlain_strncmp((Char const   *)arg, (Char const   *)"--wait-for-gdb=", tmp___277 + 1UL);
<                                                                                                         if (tmp___278 == 0) {
<                                                                                                           tmp___276 = 1;
<                                                                                                         } else {
<                                                                                                           tmp___276 = 0;
<                                                                                                         }
<                                                                                                       } else {
<                                                                                                         tmp___276 = 0;
<                                                                                                       }
<                                                                                                     } else {
<                                                                                                       tmp___276 = 0;
<                                                                                                     }
<                                                                                                     if (tmp___276) {
<                                                                                                       tmp___279 = vgPlain_strlen((Char const   *)"--wait-for-gdb");
<                                                                                                       val___30 = (Char *)(arg + (tmp___279 + 1UL));
<                                                                                                       if ((unsigned int )val___30 != (unsigned int )((void *)0)) {
<                                                                                                         if ((unsigned int )"yes" != (unsigned int )((void *)0)) {
<                                                                                                           tmp___285 = vgPlain_strcmp((Char const   *)val___30, (Char const   *)"yes");
<                                                                                                           if (tmp___285 == 0) {
<                                                                                                             tmp___284 = 1;
<                                                                                                           } else {
<                                                                                                             tmp___284 = 0;
<                                                                                                           }
<                                                                                                         } else {
<                                                                                                           tmp___284 = 0;
<                                                                                                         }
<                                                                                                       } else {
<                                                                                                         tmp___284 = 0;
<                                                                                                       }
<                                                                                                       if (tmp___284) {
<                                                                                                         vgPlain_clo_wait_for_gdb = (unsigned char)1;
<                                                                                                       } else {
<                                                                                                         if ((unsigned int )val___30 != (unsigned int )((void *)0)) {
<                                                                                                           if ((unsigned int )"no" != (unsigned int )((void *)0)) {
<                                                                                                             tmp___282 = vgPlain_strcmp((Char const   *)val___30, (Char const   *)"no");
<                                                                                                             if (tmp___282 == 0) {
<                                                                                                               tmp___281 = 1;
<                                                                                                             } else {
<                                                                                                               tmp___281 = 0;
<                                                                                                             }
<                                                                                                           } else {
<                                                                                                             tmp___281 = 0;
<                                                                                                           }
<                                                                                                         } else {
<                                                                                                           tmp___281 = 0;
<                                                                                                         }
<                                                                                                         if (tmp___281) {
<                                                                                                           vgPlain_clo_wait_for_gdb = (unsigned char)0;
<                                                                                                         } else {
<                                                                                                           vgPlain_fmsg_bad_option(arg, "Invalid boolean value \'%s\' (should be \'yes\' or \'no\')\n", val___30);
<                                                                                                         }
<                                                                                                       }
<                                                                                                     } else {
<                                                                                                       _L___40: /* CIL Label */ 
<                                                                                                       if ((unsigned int )arg != (unsigned int )((void *)0)) {
<                                                                                                         if ((unsigned int )"--db-command=" != (unsigned int )((void *)0)) {
<                                                                                                           tmp___271 = vgPlain_strlen((Char const   *)"--db-command");
<                                                                                                           tmp___272 = vgPlain_strncmp((Char const   *)arg, (Char const   *)"--db-command=", tmp___271 + 1UL);
<                                                                                                           if (tmp___272 == 0) {
<                                                                                                             tmp___270 = 1;
<                                                                                                           } else {
<                                                                                                             tmp___270 = 0;
<                                                                                                           }
<                                                                                                         } else {
<                                                                                                           tmp___270 = 0;
<                                                                                                         }
<                                                                                                       } else {
<                                                                                                         tmp___270 = 0;
<                                                                                                       }
<                                                                                                       if (tmp___270) {
<                                                                                                         tmp___273 = vgPlain_strlen((Char const   *)"--db-command");
<                                                                                                         val___29 = (Char *)(arg + (tmp___273 + 1UL));
<                                                                                                         vgPlain_clo_db_command = val___29;
<                                                                                                       } else {
<                                                                                                         _L___39: /* CIL Label */ 
<                                                                                                         if ((unsigned int )arg != (unsigned int )((void *)0)) {
<                                                                                                           if ((unsigned int )"--sym-offsets=" != (unsigned int )((void *)0)) {
<                                                                                                             tmp___259 = vgPlain_strlen((Char const   *)"--sym-offsets");
<                                                                                                             tmp___260 = vgPlain_strncmp((Char const   *)arg, (Char const   *)"--sym-offsets=", tmp___259 + 1UL);
<                                                                                                             if (tmp___260 == 0) {
<                                                                                                               tmp___258 = 1;
<                                                                                                             } else {
<                                                                                                               tmp___258 = 0;
<                                                                                                             }
<                                                                                                           } else {
<                                                                                                             tmp___258 = 0;
<                                                                                                           }
<                                                                                                         } else {
<                                                                                                           tmp___258 = 0;
<                                                                                                         }
<                                                                                                         if (tmp___258) {
<                                                                                                           tmp___261 = vgPlain_strlen((Char const   *)"--sym-offsets");
<                                                                                                           val___28 = (Char *)(arg + (tmp___261 + 1UL));
<                                                                                                           if ((unsigned int )val___28 != (unsigned int )((void *)0)) {
<                                                                                                             if ((unsigned int )"yes" != (unsigned int )((void *)0)) {
<                                                                                                               tmp___267 = vgPlain_strcmp((Char const   *)val___28, (Char const   *)"yes");
<                                                                                                               if (tmp___267 == 0) {
<                                                                                                                 tmp___266 = 1;
<                                                                                                               } else {
<                                                                                                                 tmp___266 = 0;
<                                                                                                               }
<                                                                                                             } else {
<                                                                                                               tmp___266 = 0;
<                                                                                                             }
<                                                                                                           } else {
<                                                                                                             tmp___266 = 0;
<                                                                                                           }
<                                                                                                           if (tmp___266) {
<                                                                                                             vgPlain_clo_sym_offsets = (unsigned char)1;
<                                                                                                           } else {
<                                                                                                             if ((unsigned int )val___28 != (unsigned int )((void *)0)) {
<                                                                                                               if ((unsigned int )"no" != (unsigned int )((void *)0)) {
<                                                                                                                 tmp___264 = vgPlain_strcmp((Char const   *)val___28, (Char const   *)"no");
<                                                                                                                 if (tmp___264 == 0) {
<                                                                                                                   tmp___263 = 1;
<                                                                                                                 } else {
<                                                                                                                   tmp___263 = 0;
<                                                                                                                 }
<                                                                                                               } else {
<                                                                                                                 tmp___263 = 0;
<                                                                                                               }
<                                                                                                             } else {
<                                                                                                               tmp___263 = 0;
<                                                                                                             }
<                                                                                                             if (tmp___263) {
<                                                                                                               vgPlain_clo_sym_offsets = (unsigned char)0;
<                                                                                                             } else {
<                                                                                                               vgPlain_fmsg_bad_option(arg, "Invalid boolean value \'%s\' (should be \'yes\' or \'no\')\n", val___28);
<                                                                                                             }
<                                                                                                           }
<                                                                                                         } else {
<                                                                                                           _L___38: /* CIL Label */ 
<                                                                                                           if ((unsigned int )arg != (unsigned int )((void *)0)) {
<                                                                                                             if ((unsigned int )"--read-var-info=" != (unsigned int )((void *)0)) {
<                                                                                                               tmp___247 = vgPlain_strlen((Char const   *)"--read-var-info");
<                                                                                                               tmp___248 = vgPlain_strncmp((Char const   *)arg, (Char const   *)"--read-var-info=", tmp___247 + 1UL);
<                                                                                                               if (tmp___248 == 0) {
<                                                                                                                 tmp___246 = 1;
<                                                                                                               } else {
<                                                                                                                 tmp___246 = 0;
<                                                                                                               }
<                                                                                                             } else {
<                                                                                                               tmp___246 = 0;
<                                                                                                             }
<                                                                                                           } else {
<                                                                                                             tmp___246 = 0;
<                                                                                                           }
<                                                                                                           if (tmp___246) {
<                                                                                                             tmp___249 = vgPlain_strlen((Char const   *)"--read-var-info");
<                                                                                                             val___27 = (Char *)(arg + (tmp___249 + 1UL));
<                                                                                                             if ((unsigned int )val___27 != (unsigned int )((void *)0)) {
<                                                                                                               if ((unsigned int )"yes" != (unsigned int )((void *)0)) {
<                                                                                                                 tmp___255 = vgPlain_strcmp((Char const   *)val___27, (Char const   *)"yes");
<                                                                                                                 if (tmp___255 == 0) {
<                                                                                                                   tmp___254 = 1;
<                                                                                                                 } else {
<                                                                                                                   tmp___254 = 0;
<                                                                                                                 }
<                                                                                                               } else {
<                                                                                                                 tmp___254 = 0;
<                                                                                                               }
<                                                                                                             } else {
<                                                                                                               tmp___254 = 0;
<                                                                                                             }
<                                                                                                             if (tmp___254) {
<                                                                                                               vgPlain_clo_read_var_info = (unsigned char)1;
<                                                                                                             } else {
<                                                                                                               if ((unsigned int )val___27 != (unsigned int )((void *)0)) {
<                                                                                                                 if ((unsigned int )"no" != (unsigned int )((void *)0)) {
<                                                                                                                   tmp___252 = vgPlain_strcmp((Char const   *)val___27, (Char const   *)"no");
<                                                                                                                   if (tmp___252 == 0) {
<                                                                                                                     tmp___251 = 1;
<                                                                                                                   } else {
<                                                                                                                     tmp___251 = 0;
<                                                                                                                   }
<                                                                                                                 } else {
<                                                                                                                   tmp___251 = 0;
<                                                                                                                 }
<                                                                                                               } else {
<                                                                                                                 tmp___251 = 0;
<                                                                                                               }
<                                                                                                               if (tmp___251) {
<                                                                                                                 vgPlain_clo_read_var_info = (unsigned char)0;
<                                                                                                               } else {
<                                                                                                                 vgPlain_fmsg_bad_option(arg, "Invalid boolean value \'%s\' (should be \'yes\' or \'no\')\n", val___27);
<                                                                                                               }
<                                                                                                             }
<                                                                                                           } else {
<                                                                                                             _L___37: /* CIL Label */ 
<                                                                                                             if ((unsigned int )arg != (unsigned int )((void *)0)) {
<                                                                                                               if ((unsigned int )"--dump-error=" != (unsigned int )((void *)0)) {
<                                                                                                                 tmp___240 = vgPlain_strlen((Char const   *)"--dump-error");
<                                                                                                                 tmp___241 = vgPlain_strncmp((Char const   *)arg, (Char const   *)"--dump-error=", tmp___240 + 1UL);
<                                                                                                                 if (tmp___241 == 0) {
<                                                                                                                   tmp___239 = 1;
<                                                                                                                 } else {
<                                                                                                                   tmp___239 = 0;
<                                                                                                                 }
<                                                                                                               } else {
<                                                                                                                 tmp___239 = 0;
<                                                                                                               }
<                                                                                                             } else {
<                                                                                                               tmp___239 = 0;
<                                                                                                             }
<                                                                                                             if (tmp___239) {
<                                                                                                               tmp___242 = vgPlain_strlen((Char const   *)"--dump-error");
<                                                                                                               val___26 = (Char *)(arg + (tmp___242 + 1UL));
<                                                                                                               tmp___243 = vgPlain_strtoll10(val___26, & s___11);
<                                                                                                               n___11 = tmp___243;
<                                                                                                               vgPlain_clo_dump_error = (int )n___11;
<                                                                                                               if (0 != (int )*(s___11 + 0)) {
<                                                                                                                 vgPlain_fmsg_bad_option(arg, "");
<                                                                                                               } else {
<                                                                                                                 if ((Long )vgPlain_clo_dump_error != n___11) {
<                                                                                                                   vgPlain_fmsg_bad_option(arg, "");
<                                                                                                                 } else {
< 
<                                                                                                                 }
<                                                                                                               }
<                                                                                                             } else {
<                                                                                                               _L___36: /* CIL Label */ 
<                                                                                                               if ((unsigned int )arg != (unsigned int )((void *)0)) {
<                                                                                                                 if ((unsigned int )"--input-fd=" != (unsigned int )((void *)0)) {
<                                                                                                                   tmp___233 = vgPlain_strlen((Char const   *)"--input-fd");
<                                                                                                                   tmp___234 = vgPlain_strncmp((Char const   *)arg, (Char const   *)"--input-fd=", tmp___233 + 1UL);
<                                                                                                                   if (tmp___234 == 0) {
<                                                                                                                     tmp___232 = 1;
<                                                                                                                   } else {
<                                                                                                                     tmp___232 = 0;
<                                                                                                                   }
<                                                                                                                 } else {
<                                                                                                                   tmp___232 = 0;
<                                                                                                                 }
<                                                                                                               } else {
<                                                                                                                 tmp___232 = 0;
<                                                                                                               }
<                                                                                                               if (tmp___232) {
<                                                                                                                 tmp___235 = vgPlain_strlen((Char const   *)"--input-fd");
<                                                                                                                 val___25 = (Char *)(arg + (tmp___235 + 1UL));
<                                                                                                                 tmp___236 = vgPlain_strtoll10(val___25, & s___10);
<                                                                                                                 n___10 = tmp___236;
<                                                                                                                 vgPlain_clo_input_fd = (int )n___10;
<                                                                                                                 if (0 != (int )*(s___10 + 0)) {
<                                                                                                                   vgPlain_fmsg_bad_option(arg, "");
<                                                                                                                 } else {
<                                                                                                                   if ((Long )vgPlain_clo_input_fd != n___10) {
<                                                                                                                     vgPlain_fmsg_bad_option(arg, "");
<                                                                                                                   } else {
< 
<                                                                                                                   }
<                                                                                                                 }
<                                                                                                               } else {
<                                                                                                                 _L___35: /* CIL Label */ 
<                                                                                                                 if ((unsigned int )arg != (unsigned int )((void *)0)) {
<                                                                                                                   if ((unsigned int )"--sanity-level=" != (unsigned int )((void *)0)) {
<                                                                                                                     tmp___226 = vgPlain_strlen((Char const   *)"--sanity-level");
<                                                                                                                     tmp___227 = vgPlain_strncmp((Char const   *)arg, (Char const   *)"--sanity-level=", tmp___226 + 1UL);
<                                                                                                                     if (tmp___227 == 0) {
<                                                                                                                       tmp___225 = 1;
<                                                                                                                     } else {
<                                                                                                                       tmp___225 = 0;
<                                                                                                                     }
<                                                                                                                   } else {
<                                                                                                                     tmp___225 = 0;
<                                                                                                                   }
<                                                                                                                 } else {
<                                                                                                                   tmp___225 = 0;
<                                                                                                                 }
<                                                                                                                 if (tmp___225) {
<                                                                                                                   tmp___228 = vgPlain_strlen((Char const   *)"--sanity-level");
<                                                                                                                   val___24 = (Char *)(arg + (tmp___228 + 1UL));
<                                                                                                                   tmp___229 = vgPlain_strtoll10(val___24, & s___9);
<                                                                                                                   n___9 = tmp___229;
<                                                                                                                   vgPlain_clo_sanity_level = (int )n___9;
<                                                                                                                   if (0 != (int )*(s___9 + 0)) {
<                                                                                                                     vgPlain_fmsg_bad_option(arg, "");
<                                                                                                                   } else {
<                                                                                                                     if ((Long )vgPlain_clo_sanity_level != n___9) {
<                                                                                                                       vgPlain_fmsg_bad_option(arg, "");
<                                                                                                                     } else {
< 
<                                                                                                                     }
<                                                                                                                   }
<                                                                                                                 } else {
<                                                                                                                   _L___34: /* CIL Label */ 
<                                                                                                                   if ((unsigned int )arg != (unsigned int )((void *)0)) {
<                                                                                                                     if ((unsigned int )"--num-callers=" != (unsigned int )((void *)0)) {
<                                                                                                                       tmp___219 = vgPlain_strlen((Char const   *)"--num-callers");
<                                                                                                                       tmp___220 = vgPlain_strncmp((Char const   *)arg, (Char const   *)"--num-callers=", tmp___219 + 1UL);
<                                                                                                                       if (tmp___220 == 0) {
<                                                                                                                         tmp___218 = 1;
<                                                                                                                       } else {
<                                                                                                                         tmp___218 = 0;
<                                                                                                                       }
<                                                                                                                     } else {
<                                                                                                                       tmp___218 = 0;
<                                                                                                                     }
<                                                                                                                   } else {
<                                                                                                                     tmp___218 = 0;
<                                                                                                                   }
<                                                                                                                   if (tmp___218) {
<                                                                                                                     tmp___221 = vgPlain_strlen((Char const   *)"--num-callers");
<                                                                                                                     val___23 = (Char *)(arg + (tmp___221 + 1UL));
<                                                                                                                     tmp___222 = vgPlain_strtoll10(val___23, & s___8);
<                                                                                                                     n___8 = tmp___222;
<                                                                                                                     vgPlain_clo_backtrace_size = (int )n___8;
<                                                                                                                     if (0 != (int )*(s___8 + 0)) {
<                                                                                                                       vgPlain_fmsg_bad_option(arg, "");
<                                                                                                                     } else {
<                                                                                                                       if ((Long )vgPlain_clo_backtrace_size != n___8) {
<                                                                                                                         vgPlain_fmsg_bad_option(arg, "");
<                                                                                                                       } else {
< 
<                                                                                                                       }
<                                                                                                                     }
<                                                                                                                     if (vgPlain_clo_backtrace_size < 1) {
<                                                                                                                       vgPlain_fmsg_bad_option(arg, "\'%s\' argument must be between %lld and %lld\n", "--num-callers", 1LL, 500LL);
<                                                                                                                     } else {
<                                                                                                                       if (vgPlain_clo_backtrace_size > 500) {
<                                                                                                                         vgPlain_fmsg_bad_option(arg, "\'%s\' argument must be between %lld and %lld\n", "--num-callers", 1LL, 500LL);
<                                                                                                                       } else {
< 
<                                                                                                                       }
<                                                                                                                     }
<                                                                                                                   } else {
<                                                                                                                     _L___33: /* CIL Label */ 
<                                                                                                                     if ((unsigned int )arg != (unsigned int )((void *)0)) {
<                                                                                                                       if ((unsigned int )"--smc-check=none" != (unsigned int )((void *)0)) {
<                                                                                                                         tmp___215 = vgPlain_strcmp((Char const   *)arg, (Char const   *)"--smc-check=none");
<                                                                                                                         if (tmp___215 == 0) {
<                                                                                                                           tmp___214 = 1;
<                                                                                                                         } else {
<                                                                                                                           tmp___214 = 0;
<                                                                                                                         }
<                                                                                                                       } else {
<                                                                                                                         tmp___214 = 0;
<                                                                                                                       }
<                                                                                                                     } else {
<                                                                                                                       tmp___214 = 0;
<                                                                                                                     }
<                                                                                                                     if (tmp___214) {
<                                                                                                                       vgPlain_clo_smc_check = (enum __anonenum_VgSmc_128 )0;
<                                                                                                                     } else {
<                                                                                                                       _L___32: /* CIL Label */ 
<                                                                                                                       if ((unsigned int )arg != (unsigned int )((void *)0)) {
<                                                                                                                         if ((unsigned int )"--smc-check=stack" != (unsigned int )((void *)0)) {
<                                                                                                                           tmp___212 = vgPlain_strcmp((Char const   *)arg, (Char const   *)"--smc-check=stack");
<                                                                                                                           if (tmp___212 == 0) {
<                                                                                                                             tmp___211 = 1;
<                                                                                                                           } else {
<                                                                                                                             tmp___211 = 0;
<                                                                                                                           }
<                                                                                                                         } else {
<                                                                                                                           tmp___211 = 0;
<                                                                                                                         }
<                                                                                                                       } else {
<                                                                                                                         tmp___211 = 0;
<                                                                                                                       }
<                                                                                                                       if (tmp___211) {
<                                                                                                                         vgPlain_clo_smc_check = (enum __anonenum_VgSmc_128 )1;
<                                                                                                                       } else {
<                                                                                                                         _L___31: /* CIL Label */ 
<                                                                                                                         if ((unsigned int )arg != (unsigned int )((void *)0)) {
<                                                                                                                           if ((unsigned int )"--smc-check=all" != (unsigned int )((void *)0)) {
<                                                                                                                             tmp___209 = vgPlain_strcmp((Char const   *)arg, (Char const   *)"--smc-check=all");
<                                                                                                                             if (tmp___209 == 0) {
<                                                                                                                               tmp___208 = 1;
<                                                                                                                             } else {
<                                                                                                                               tmp___208 = 0;
<                                                                                                                             }
<                                                                                                                           } else {
<                                                                                                                             tmp___208 = 0;
<                                                                                                                           }
<                                                                                                                         } else {
<                                                                                                                           tmp___208 = 0;
<                                                                                                                         }
<                                                                                                                         if (tmp___208) {
<                                                                                                                           vgPlain_clo_smc_check = (enum __anonenum_VgSmc_128 )2;
<                                                                                                                         } else {
<                                                                                                                           _L___30: /* CIL Label */ 
<                                                                                                                           if ((unsigned int )arg != (unsigned int )((void *)0)) {
<                                                                                                                             if ((unsigned int )"--smc-check=all-non-file" != (unsigned int )((void *)0)) {
<                                                                                                                               tmp___206 = vgPlain_strcmp((Char const   *)arg, (Char const   *)"--smc-check=all-non-file");
<                                                                                                                               if (tmp___206 == 0) {
<                                                                                                                                 tmp___205 = 1;
<                                                                                                                               } else {
<                                                                                                                                 tmp___205 = 0;
<                                                                                                                               }
<                                                                                                                             } else {
<                                                                                                                               tmp___205 = 0;
<                                                                                                                             }
<                                                                                                                           } else {
<                                                                                                                             tmp___205 = 0;
<                                                                                                                           }
<                                                                                                                           if (tmp___205) {
<                                                                                                                             vgPlain_clo_smc_check = (enum __anonenum_VgSmc_128 )3;
<                                                                                                                           } else {
<                                                                                                                             _L___29: /* CIL Label */ 
<                                                                                                                             if ((unsigned int )arg != (unsigned int )((void *)0)) {
<                                                                                                                               if ((unsigned int )"--kernel-variant=" != (unsigned int )((void *)0)) {
<                                                                                                                                 tmp___201 = vgPlain_strlen((Char const   *)"--kernel-variant");
<                                                                                                                                 tmp___202 = vgPlain_strncmp((Char const   *)arg, (Char const   *)"--kernel-variant=", tmp___201 + 1UL);
<                                                                                                                                 if (tmp___202 == 0) {
<                                                                                                                                   tmp___200 = 1;
<                                                                                                                                 } else {
<                                                                                                                                   tmp___200 = 0;
<                                                                                                                                 }
<                                                                                                                               } else {
<                                                                                                                                 tmp___200 = 0;
<                                                                                                                               }
<                                                                                                                             } else {
<                                                                                                                               tmp___200 = 0;
<                                                                                                                             }
<                                                                                                                             if (tmp___200) {
<                                                                                                                               tmp___203 = vgPlain_strlen((Char const   *)"--kernel-variant");
<                                                                                                                               val___22 = (Char *)(arg + (tmp___203 + 1UL));
<                                                                                                                               vgPlain_clo_kernel_variant = (HChar *)val___22;
<                                                                                                                             } else {
<                                                                                                                               _L___28: /* CIL Label */ 
<                                                                                                                               if ((unsigned int )arg != (unsigned int )((void *)0)) {
<                                                                                                                                 if ((unsigned int )"--dsymutil=" != (unsigned int )((void *)0)) {
<                                                                                                                                   tmp___189 = vgPlain_strlen((Char const   *)"--dsymutil");
<                                                                                                                                   tmp___190 = vgPlain_strncmp((Char const   *)arg, (Char const   *)"--dsymutil=", tmp___189 + 1UL);
<                                                                                                                                   if (tmp___190 == 0) {
<                                                                                                                                     tmp___188 = 1;
<                                                                                                                                   } else {
<                                                                                                                                     tmp___188 = 0;
<                                                                                                                                   }
<                                                                                                                                 } else {
<                                                                                                                                   tmp___188 = 0;
<                                                                                                                                 }
<                                                                                                                               } else {
<                                                                                                                                 tmp___188 = 0;
<                                                                                                                               }
<                                                                                                                               if (tmp___188) {
<                                                                                                                                 tmp___191 = vgPlain_strlen((Char const   *)"--dsymutil");
<                                                                                                                                 val___21 = (Char *)(arg + (tmp___191 + 1UL));
<                                                                                                                                 if ((unsigned int )val___21 != (unsigned int )((void *)0)) {
<                                                                                                                                   if ((unsigned int )"yes" != (unsigned int )((void *)0)) {
<                                                                                                                                     tmp___197 = vgPlain_strcmp((Char const   *)val___21, (Char const   *)"yes");
<                                                                                                                                     if (tmp___197 == 0) {
<                                                                                                                                       tmp___196 = 1;
<                                                                                                                                     } else {
<                                                                                                                                       tmp___196 = 0;
<                                                                                                                                     }
<                                                                                                                                   } else {
<                                                                                                                                     tmp___196 = 0;
<                                                                                                                                   }
<                                                                                                                                 } else {
<                                                                                                                                   tmp___196 = 0;
<                                                                                                                                 }
<                                                                                                                                 if (tmp___196) {
<                                                                                                                                   vgPlain_clo_dsymutil = (unsigned char)1;
<                                                                                                                                 } else {
<                                                                                                                                   if ((unsigned int )val___21 != (unsigned int )((void *)0)) {
<                                                                                                                                     if ((unsigned int )"no" != (unsigned int )((void *)0)) {
<                                                                                                                                       tmp___194 = vgPlain_strcmp((Char const   *)val___21, (Char const   *)"no");
<                                                                                                                                       if (tmp___194 == 0) {
<                                                                                                                                         tmp___193 = 1;
<                                                                                                                                       } else {
<                                                                                                                                         tmp___193 = 0;
<                                                                                                                                       }
<                                                                                                                                     } else {
<                                                                                                                                       tmp___193 = 0;
<                                                                                                                                     }
<                                                                                                                                   } else {
<                                                                                                                                     tmp___193 = 0;
<                                                                                                                                   }
<                                                                                                                                   if (tmp___193) {
<                                                                                                                                     vgPlain_clo_dsymutil = (unsigned char)0;
<                                                                                                                                   } else {
<                                                                                                                                     vgPlain_fmsg_bad_option(arg, "Invalid boolean value \'%s\' (should be \'yes\' or \'no\')\n", val___21);
<                                                                                                                                   }
<                                                                                                                                 }
<                                                                                                                               } else {
<                                                                                                                                 _L___27: /* CIL Label */ 
<                                                                                                                                 if ((unsigned int )arg != (unsigned int )((void *)0)) {
<                                                                                                                                   if ((unsigned int )"--trace-children-skip=" != (unsigned int )((void *)0)) {
<                                                                                                                                     tmp___183 = vgPlain_strlen((Char const   *)"--trace-children-skip");
<                                                                                                                                     tmp___184 = vgPlain_strncmp((Char const   *)arg, (Char const   *)"--trace-children-skip=", tmp___183 + 1UL);
<                                                                                                                                     if (tmp___184 == 0) {
<                                                                                                                                       tmp___182 = 1;
<                                                                                                                                     } else {
<                                                                                                                                       tmp___182 = 0;
<                                                                                                                                     }
<                                                                                                                                   } else {
<                                                                                                                                     tmp___182 = 0;
<                                                                                                                                   }
<                                                                                                                                 } else {
<                                                                                                                                   tmp___182 = 0;
<                                                                                                                                 }
<                                                                                                                                 if (tmp___182) {
<                                                                                                                                   tmp___185 = vgPlain_strlen((Char const   *)"--trace-children-skip");
<                                                                                                                                   val___20 = (Char *)(arg + (tmp___185 + 1UL));
<                                                                                                                                   vgPlain_clo_trace_children_skip = (HChar *)val___20;
<                                                                                                                                 } else {
<                                                                                                                                   _L___26: /* CIL Label */ 
<                                                                                                                                   if ((unsigned int )arg != (unsigned int )((void *)0)) {
<                                                                                                                                     if ((unsigned int )"--trace-children-skip-by-arg=" != (unsigned int )((void *)0)) {
<                                                                                                                                       tmp___177 = vgPlain_strlen((Char const   *)"--trace-children-skip-by-arg");
<                                                                                                                                       tmp___178 = vgPlain_strncmp((Char const   *)arg, (Char const   *)"--trace-children-skip-by-arg=", tmp___177 + 1UL);
<                                                                                                                                       if (tmp___178 == 0) {
<                                                                                                                                         tmp___176 = 1;
<                                                                                                                                       } else {
<                                                                                                                                         tmp___176 = 0;
<                                                                                                                                       }
<                                                                                                                                     } else {
<                                                                                                                                       tmp___176 = 0;
<                                                                                                                                     }
<                                                                                                                                   } else {
<                                                                                                                                     tmp___176 = 0;
<                                                                                                                                   }
<                                                                                                                                   if (tmp___176) {
<                                                                                                                                     tmp___179 = vgPlain_strlen((Char const   *)"--trace-children-skip-by-arg");
<                                                                                                                                     val___19 = (Char *)(arg + (tmp___179 + 1UL));
<                                                                                                                                     vgPlain_clo_trace_children_skip_by_arg = (HChar *)val___19;
<                                                                                                                                   } else {
<                                                                                                                                     _L___25: /* CIL Label */ 
<                                                                                                                                     if ((unsigned int )arg != (unsigned int )((void *)0)) {
<                                                                                                                                       if ((unsigned int )"--vex-iropt-verbosity=" != (unsigned int )((void *)0)) {
<                                                                                                                                         tmp___170 = vgPlain_strlen((Char const   *)"--vex-iropt-verbosity");
<                                                                                                                                         tmp___171 = vgPlain_strncmp((Char const   *)arg, (Char const   *)"--vex-iropt-verbosity=", tmp___170 + 1UL);
<                                                                                                                                         if (tmp___171 == 0) {
<                                                                                                                                           tmp___169 = 1;
<                                                                                                                                         } else {
<                                                                                                                                           tmp___169 = 0;
<                                                                                                                                         }
<                                                                                                                                       } else {
<                                                                                                                                         tmp___169 = 0;
<                                                                                                                                       }
<                                                                                                                                     } else {
<                                                                                                                                       tmp___169 = 0;
<                                                                                                                                     }
<                                                                                                                                     if (tmp___169) {
<                                                                                                                                       tmp___172 = vgPlain_strlen((Char const   *)"--vex-iropt-verbosity");
<                                                                                                                                       val___18 = (Char *)(arg + (tmp___172 + 1UL));
<                                                                                                                                       tmp___173 = vgPlain_strtoll10(val___18, & s___7);
<                                                                                                                                       n___7 = tmp___173;
<                                                                                                                                       vgPlain_clo_vex_control.iropt_verbosity = (int )n___7;
<                                                                                                                                       if (0 != (int )*(s___7 + 0)) {
<                                                                                                                                         vgPlain_fmsg_bad_option(arg, "");
<                                                                                                                                       } else {
<                                                                                                                                         if ((Long )vgPlain_clo_vex_control.iropt_verbosity != n___7) {
<                                                                                                                                           vgPlain_fmsg_bad_option(arg, "");
<                                                                                                                                         } else {
< 
<                                                                                                                                         }
<                                                                                                                                       }
<                                                                                                                                       if (vgPlain_clo_vex_control.iropt_verbosity < 0) {
<                                                                                                                                         vgPlain_fmsg_bad_option(arg, "\'%s\' argument must be between %lld and %lld\n", "--vex-iropt-verbosity", 0LL, 10LL);
<                                                                                                                                       } else {
<                                                                                                                                         if (vgPlain_clo_vex_control.iropt_verbosity > 10) {
<                                                                                                                                           vgPlain_fmsg_bad_option(arg, "\'%s\' argument must be between %lld and %lld\n", "--vex-iropt-verbosity", 0LL, 10LL);
<                                                                                                                                         } else {
< 
<                                                                                                                                         }
<                                                                                                                                       }
<                                                                                                                                     } else {
<                                                                                                                                       _L___24: /* CIL Label */ 
<                                                                                                                                       if ((unsigned int )arg != (unsigned int )((void *)0)) {
<                                                                                                                                         if ((unsigned int )"--vex-iropt-level=" != (unsigned int )((void *)0)) {
<                                                                                                                                           tmp___163 = vgPlain_strlen((Char const   *)"--vex-iropt-level");
<                                                                                                                                           tmp___164 = vgPlain_strncmp((Char const   *)arg, (Char const   *)"--vex-iropt-level=", tmp___163 + 1UL);
<                                                                                                                                           if (tmp___164 == 0) {
<                                                                                                                                             tmp___162 = 1;
<                                                                                                                                           } else {
<                                                                                                                                             tmp___162 = 0;
<                                                                                                                                           }
<                                                                                                                                         } else {
<                                                                                                                                           tmp___162 = 0;
<                                                                                                                                         }
<                                                                                                                                       } else {
<                                                                                                                                         tmp___162 = 0;
<                                                                                                                                       }
<                                                                                                                                       if (tmp___162) {
<                                                                                                                                         tmp___165 = vgPlain_strlen((Char const   *)"--vex-iropt-level");
<                                                                                                                                         val___17 = (Char *)(arg + (tmp___165 + 1UL));
<                                                                                                                                         tmp___166 = vgPlain_strtoll10(val___17, & s___6);
<                                                                                                                                         n___6 = tmp___166;
<                                                                                                                                         vgPlain_clo_vex_control.iropt_level = (int )n___6;
<                                                                                                                                         if (0 != (int )*(s___6 + 0)) {
<                                                                                                                                           vgPlain_fmsg_bad_option(arg, "");
<                                                                                                                                         } else {
<                                                                                                                                           if ((Long )vgPlain_clo_vex_control.iropt_level != n___6) {
<                                                                                                                                             vgPlain_fmsg_bad_option(arg, "");
<                                                                                                                                           } else {
< 
<                                                                                                                                           }
<                                                                                                                                         }
<                                                                                                                                         if (vgPlain_clo_vex_control.iropt_level < 0) {
<                                                                                                                                           vgPlain_fmsg_bad_option(arg, "\'%s\' argument must be between %lld and %lld\n", "--vex-iropt-level", 0LL, 2LL);
<                                                                                                                                         } else {
<                                                                                                                                           if (vgPlain_clo_vex_control.iropt_level > 2) {
<                                                                                                                                             vgPlain_fmsg_bad_option(arg, "\'%s\' argument must be between %lld and %lld\n", "--vex-iropt-level", 0LL, 2LL);
<                                                                                                                                           } else {
< 
<                                                                                                                                           }
<                                                                                                                                         }
<                                                                                                                                       } else {
<                                                                                                                                         _L___23: /* CIL Label */ 
<                                                                                                                                         if ((unsigned int )arg != (unsigned int )((void *)0)) {
<                                                                                                                                           if ((unsigned int )"--vex-iropt-register-updates=unwindregs-at-mem-access" != (unsigned int )((void *)0)) {
<                                                                                                                                             tmp___159 = vgPlain_strcmp((Char const   *)arg, (Char const   *)"--vex-iropt-register-updates=unwindregs-at-mem-access");
<                                                                                                                                             if (tmp___159 == 0) {
<                                                                                                                                               tmp___158 = 1;
<                                                                                                                                             } else {
<                                                                                                                                               tmp___158 = 0;
<                                                                                                                                             }
<                                                                                                                                           } else {
<                                                                                                                                             tmp___158 = 0;
<                                                                                                                                           }
<                                                                                                                                         } else {
<                                                                                                                                           tmp___158 = 0;
<                                                                                                                                         }
<                                                                                                                                         if (tmp___158) {
<                                                                                                                                           vgPlain_clo_vex_control.iropt_register_updates = (enum __anonenum_VexRegisterUpdates_53 )0;
<                                                                                                                                         } else {
<                                                                                                                                           _L___22: /* CIL Label */ 
<                                                                                                                                           if ((unsigned int )arg != (unsigned int )((void *)0)) {
<                                                                                                                                             if ((unsigned int )"--vex-iropt-register-updates=allregs-at-mem-access" != (unsigned int )((void *)0)) {
<                                                                                                                                               tmp___156 = vgPlain_strcmp((Char const   *)arg, (Char const   *)"--vex-iropt-register-updates=allregs-at-mem-access");
<                                                                                                                                               if (tmp___156 == 0) {
<                                                                                                                                                 tmp___155 = 1;
<                                                                                                                                               } else {
<                                                                                                                                                 tmp___155 = 0;
<                                                                                                                                               }
<                                                                                                                                             } else {
<                                                                                                                                               tmp___155 = 0;
<                                                                                                                                             }
<                                                                                                                                           } else {
<                                                                                                                                             tmp___155 = 0;
<                                                                                                                                           }
<                                                                                                                                           if (tmp___155) {
<                                                                                                                                             vgPlain_clo_vex_control.iropt_register_updates = (enum __anonenum_VexRegisterUpdates_53 )1;
<                                                                                                                                           } else {
<                                                                                                                                             _L___21: /* CIL Label */ 
<                                                                                                                                             if ((unsigned int )arg != (unsigned int )((void *)0)) {
<                                                                                                                                               if ((unsigned int )"--vex-iropt-register-updates=allregs-at-each-insn" != (unsigned int )((void *)0)) {
<                                                                                                                                                 tmp___153 = vgPlain_strcmp((Char const   *)arg, (Char const   *)"--vex-iropt-register-updates=allregs-at-each-insn");
<                                                                                                                                                 if (tmp___153 == 0) {
<                                                                                                                                                   tmp___152 = 1;
<                                                                                                                                                 } else {
<                                                                                                                                                   tmp___152 = 0;
<                                                                                                                                                 }
<                                                                                                                                               } else {
<                                                                                                                                                 tmp___152 = 0;
<                                                                                                                                               }
<                                                                                                                                             } else {
<                                                                                                                                               tmp___152 = 0;
<                                                                                                                                             }
<                                                                                                                                             if (tmp___152) {
<                                                                                                                                               vgPlain_clo_vex_control.iropt_register_updates = (enum __anonenum_VexRegisterUpdates_53 )2;
<                                                                                                                                             } else {
<                                                                                                                                               _L___20: /* CIL Label */ 
<                                                                                                                                               if ((unsigned int )arg != (unsigned int )((void *)0)) {
<                                                                                                                                                 if ((unsigned int )"--vex-iropt-unroll-thresh=" != (unsigned int )((void *)0)) {
<                                                                                                                                                   tmp___147 = vgPlain_strlen((Char const   *)"--vex-iropt-unroll-thresh");
<                                                                                                                                                   tmp___148 = vgPlain_strncmp((Char const   *)arg, (Char const   *)"--vex-iropt-unroll-thresh=", tmp___147 + 1UL);
<                                                                                                                                                   if (tmp___148 == 0) {
<                                                                                                                                                     tmp___146 = 1;
<                                                                                                                                                   } else {
<                                                                                                                                                     tmp___146 = 0;
<                                                                                                                                                   }
<                                                                                                                                                 } else {
<                                                                                                                                                   tmp___146 = 0;
<                                                                                                                                                 }
<                                                                                                                                               } else {
<                                                                                                                                                 tmp___146 = 0;
<                                                                                                                                               }
<                                                                                                                                               if (tmp___146) {
<                                                                                                                                                 tmp___149 = vgPlain_strlen((Char const   *)"--vex-iropt-unroll-thresh");
<                                                                                                                                                 val___16 = (Char *)(arg + (tmp___149 + 1UL));
<                                                                                                                                                 tmp___150 = vgPlain_strtoll10(val___16, & s___5);
<                                                                                                                                                 n___5 = tmp___150;
<                                                                                                                                                 vgPlain_clo_vex_control.iropt_unroll_thresh = (int )n___5;
<                                                                                                                                                 if (0 != (int )*(s___5 + 0)) {
<                                                                                                                                                   vgPlain_fmsg_bad_option(arg, "");
<                                                                                                                                                 } else {
<                                                                                                                                                   if ((Long )vgPlain_clo_vex_control.iropt_unroll_thresh != n___5) {
<                                                                                                                                                     vgPlain_fmsg_bad_option(arg, "");
<                                                                                                                                                   } else {
< 
<                                                                                                                                                   }
<                                                                                                                                                 }
<                                                                                                                                                 if (vgPlain_clo_vex_control.iropt_unroll_thresh < 0) {
<                                                                                                                                                   vgPlain_fmsg_bad_option(arg, "\'%s\' argument must be between %lld and %lld\n", "--vex-iropt-unroll-thresh", 0LL, 400LL);
<                                                                                                                                                 } else {
<                                                                                                                                                   if (vgPlain_clo_vex_control.iropt_unroll_thresh > 400) {
<                                                                                                                                                     vgPlain_fmsg_bad_option(arg, "\'%s\' argument must be between %lld and %lld\n", "--vex-iropt-unroll-thresh", 0LL, 400LL);
<                                                                                                                                                   } else {
< 
<                                                                                                                                                   }
<                                                                                                                                                 }
<                                                                                                                                               } else {
<                                                                                                                                                 _L___19: /* CIL Label */ 
<                                                                                                                                                 if ((unsigned int )arg != (unsigned int )((void *)0)) {
<                                                                                                                                                   if ((unsigned int )"--vex-guest-max-insns=" != (unsigned int )((void *)0)) {
<                                                                                                                                                     tmp___140 = vgPlain_strlen((Char const   *)"--vex-guest-max-insns");
<                                                                                                                                                     tmp___141 = vgPlain_strncmp((Char const   *)arg, (Char const   *)"--vex-guest-max-insns=", tmp___140 + 1UL);
<                                                                                                                                                     if (tmp___141 == 0) {
<                                                                                                                                                       tmp___139 = 1;
<                                                                                                                                                     } else {
<                                                                                                                                                       tmp___139 = 0;
<                                                                                                                                                     }
<                                                                                                                                                   } else {
<                                                                                                                                                     tmp___139 = 0;
<                                                                                                                                                   }
<                                                                                                                                                 } else {
<                                                                                                                                                   tmp___139 = 0;
<                                                                                                                                                 }
<                                                                                                                                                 if (tmp___139) {
<                                                                                                                                                   tmp___142 = vgPlain_strlen((Char const   *)"--vex-guest-max-insns");
<                                                                                                                                                   val___15 = (Char *)(arg + (tmp___142 + 1UL));
<                                                                                                                                                   tmp___143 = vgPlain_strtoll10(val___15, & s___4);
<                                                                                                                                                   n___4 = tmp___143;
<                                                                                                                                                   vgPlain_clo_vex_control.guest_max_insns = (int )n___4;
<                                                                                                                                                   if (0 != (int )*(s___4 + 0)) {
<                                                                                                                                                     vgPlain_fmsg_bad_option(arg, "");
<                                                                                                                                                   } else {
<                                                                                                                                                     if ((Long )vgPlain_clo_vex_control.guest_max_insns != n___4) {
<                                                                                                                                                       vgPlain_fmsg_bad_option(arg, "");
<                                                                                                                                                     } else {
< 
<                                                                                                                                                     }
<                                                                                                                                                   }
<                                                                                                                                                   if (vgPlain_clo_vex_control.guest_max_insns < 1) {
<                                                                                                                                                     vgPlain_fmsg_bad_option(arg, "\'%s\' argument must be between %lld and %lld\n", "--vex-guest-max-insns", 1LL, 100LL);
<                                                                                                                                                   } else {
<                                                                                                                                                     if (vgPlain_clo_vex_control.guest_max_insns > 100) {
<                                                                                                                                                       vgPlain_fmsg_bad_option(arg, "\'%s\' argument must be between %lld and %lld\n", "--vex-guest-max-insns", 1LL, 100LL);
<                                                                                                                                                     } else {
< 
<                                                                                                                                                     }
<                                                                                                                                                   }
<                                                                                                                                                 } else {
<                                                                                                                                                   _L___18: /* CIL Label */ 
<                                                                                                                                                   if ((unsigned int )arg != (unsigned int )((void *)0)) {
<                                                                                                                                                     if ((unsigned int )"--vex-guest-chase-thresh=" != (unsigned int )((void *)0)) {
<                                                                                                                                                       tmp___133 = vgPlain_strlen((Char const   *)"--vex-guest-chase-thresh");
<                                                                                                                                                       tmp___134 = vgPlain_strncmp((Char const   *)arg, (Char const   *)"--vex-guest-chase-thresh=", tmp___133 + 1UL);
<                                                                                                                                                       if (tmp___134 == 0) {
<                                                                                                                                                         tmp___132 = 1;
<                                                                                                                                                       } else {
<                                                                                                                                                         tmp___132 = 0;
<                                                                                                                                                       }
<                                                                                                                                                     } else {
<                                                                                                                                                       tmp___132 = 0;
<                                                                                                                                                     }
<                                                                                                                                                   } else {
<                                                                                                                                                     tmp___132 = 0;
<                                                                                                                                                   }
<                                                                                                                                                   if (tmp___132) {
<                                                                                                                                                     tmp___135 = vgPlain_strlen((Char const   *)"--vex-guest-chase-thresh");
<                                                                                                                                                     val___14 = (Char *)(arg + (tmp___135 + 1UL));
<                                                                                                                                                     tmp___136 = vgPlain_strtoll10(val___14, & s___3);
<                                                                                                                                                     n___3 = tmp___136;
<                                                                                                                                                     vgPlain_clo_vex_control.guest_chase_thresh = (int )n___3;
<                                                                                                                                                     if (0 != (int )*(s___3 + 0)) {
<                                                                                                                                                       vgPlain_fmsg_bad_option(arg, "");
<                                                                                                                                                     } else {
<                                                                                                                                                       if ((Long )vgPlain_clo_vex_control.guest_chase_thresh != n___3) {
<                                                                                                                                                         vgPlain_fmsg_bad_option(arg, "");
<                                                                                                                                                       } else {
< 
<                                                                                                                                                       }
<                                                                                                                                                     }
<                                                                                                                                                     if (vgPlain_clo_vex_control.guest_chase_thresh < 0) {
<                                                                                                                                                       vgPlain_fmsg_bad_option(arg, "\'%s\' argument must be between %lld and %lld\n", "--vex-guest-chase-thresh", 0LL, 99LL);
<                                                                                                                                                     } else {
<                                                                                                                                                       if (vgPlain_clo_vex_control.guest_chase_thresh > 99) {
<                                                                                                                                                         vgPlain_fmsg_bad_option(arg, "\'%s\' argument must be between %lld and %lld\n", "--vex-guest-chase-thresh", 0LL, 99LL);
<                                                                                                                                                       } else {
< 
<                                                                                                                                                       }
<                                                                                                                                                     }
<                                                                                                                                                   } else {
<                                                                                                                                                     _L___17: /* CIL Label */ 
<                                                                                                                                                     if ((unsigned int )arg != (unsigned int )((void *)0)) {
<                                                                                                                                                       if ((unsigned int )"--vex-guest-chase-cond=" != (unsigned int )((void *)0)) {
<                                                                                                                                                         tmp___121 = vgPlain_strlen((Char const   *)"--vex-guest-chase-cond");
<                                                                                                                                                         tmp___122 = vgPlain_strncmp((Char const   *)arg, (Char const   *)"--vex-guest-chase-cond=", tmp___121 + 1UL);
<                                                                                                                                                         if (tmp___122 == 0) {
<                                                                                                                                                           tmp___120 = 1;
<                                                                                                                                                         } else {
<                                                                                                                                                           tmp___120 = 0;
<                                                                                                                                                         }
<                                                                                                                                                       } else {
<                                                                                                                                                         tmp___120 = 0;
<                                                                                                                                                       }
<                                                                                                                                                     } else {
<                                                                                                                                                       tmp___120 = 0;
<                                                                                                                                                     }
<                                                                                                                                                     if (tmp___120) {
<                                                                                                                                                       tmp___123 = vgPlain_strlen((Char const   *)"--vex-guest-chase-cond");
<                                                                                                                                                       val___13 = (Char *)(arg + (tmp___123 + 1UL));
<                                                                                                                                                       if ((unsigned int )val___13 != (unsigned int )((void *)0)) {
<                                                                                                                                                         if ((unsigned int )"yes" != (unsigned int )((void *)0)) {
<                                                                                                                                                           tmp___129 = vgPlain_strcmp((Char const   *)val___13, (Char const   *)"yes");
<                                                                                                                                                           if (tmp___129 == 0) {
<                                                                                                                                                             tmp___128 = 1;
<                                                                                                                                                           } else {
<                                                                                                                                                             tmp___128 = 0;
<                                                                                                                                                           }
<                                                                                                                                                         } else {
<                                                                                                                                                           tmp___128 = 0;
<                                                                                                                                                         }
<                                                                                                                                                       } else {
<                                                                                                                                                         tmp___128 = 0;
<                                                                                                                                                       }
<                                                                                                                                                       if (tmp___128) {
<                                                                                                                                                         vgPlain_clo_vex_control.guest_chase_cond = (unsigned char)1;
<                                                                                                                                                       } else {
<                                                                                                                                                         if ((unsigned int )val___13 != (unsigned int )((void *)0)) {
<                                                                                                                                                           if ((unsigned int )"no" != (unsigned int )((void *)0)) {
<                                                                                                                                                             tmp___126 = vgPlain_strcmp((Char const   *)val___13, (Char const   *)"no");
<                                                                                                                                                             if (tmp___126 == 0) {
<                                                                                                                                                               tmp___125 = 1;
<                                                                                                                                                             } else {
<                                                                                                                                                               tmp___125 = 0;
<                                                                                                                                                             }
<                                                                                                                                                           } else {
<                                                                                                                                                             tmp___125 = 0;
<                                                                                                                                                           }
<                                                                                                                                                         } else {
<                                                                                                                                                           tmp___125 = 0;
<                                                                                                                                                         }
<                                                                                                                                                         if (tmp___125) {
<                                                                                                                                                           vgPlain_clo_vex_control.guest_chase_cond = (unsigned char)0;
<                                                                                                                                                         } else {
<                                                                                                                                                           vgPlain_fmsg_bad_option(arg, "Invalid boolean value \'%s\' (should be \'yes\' or \'no\')\n", val___13);
<                                                                                                                                                         }
<                                                                                                                                                       }
<                                                                                                                                                     } else {
<                                                                                                                                                       _L___16: /* CIL Label */ 
<                                                                                                                                                       if ((unsigned int )arg != (unsigned int )((void *)0)) {
<                                                                                                                                                         if ((unsigned int )"--log-fd=" != (unsigned int )((void *)0)) {
<                                                                                                                                                           tmp___114 = vgPlain_strlen((Char const   *)"--log-fd");
<                                                                                                                                                           tmp___115 = vgPlain_strncmp((Char const   *)arg, (Char const   *)"--log-fd=", tmp___114 + 1UL);
<                                                                                                                                                           if (tmp___115 == 0) {
<                                                                                                                                                             tmp___113 = 1;
<                                                                                                                                                           } else {
<                                                                                                                                                             tmp___113 = 0;
<                                                                                                                                                           }
<                                                                                                                                                         } else {
<                                                                                                                                                           tmp___113 = 0;
<                                                                                                                                                         }
<                                                                                                                                                       } else {
<                                                                                                                                                         tmp___113 = 0;
<                                                                                                                                                       }
<                                                                                                                                                       if (tmp___113) {
<                                                                                                                                                         tmp___116 = vgPlain_strlen((Char const   *)"--log-fd");
<                                                                                                                                                         val___12 = (Char *)(arg + (tmp___116 + 1UL));
<                                                                                                                                                         tmp___117 = vgPlain_strtoll10(val___12, & s___2);
<                                                                                                                                                         n___2 = tmp___117;
<                                                                                                                                                         tmp_log_fd = (int )n___2;
<                                                                                                                                                         if (0 != (int )*(s___2 + 0)) {
<                                                                                                                                                           vgPlain_fmsg_bad_option(arg, "");
<                                                                                                                                                         } else {
<                                                                                                                                                           if ((Long )tmp_log_fd != n___2) {
<                                                                                                                                                             vgPlain_fmsg_bad_option(arg, "");
<                                                                                                                                                           } else {
< 
<                                                                                                                                                           }
<                                                                                                                                                         }
<                                                                                                                                                         log_to = (enum __anonenum_log_to_140 )0;
<                                                                                                                                                         log_fsname_unexpanded = (Char *)((void *)0);
<                                                                                                                                                       } else {
<                                                                                                                                                         _L___15: /* CIL Label */ 
<                                                                                                                                                         if ((unsigned int )arg != (unsigned int )((void *)0)) {
<                                                                                                                                                           if ((unsigned int )"--xml-fd=" != (unsigned int )((void *)0)) {
<                                                                                                                                                             tmp___107 = vgPlain_strlen((Char const   *)"--xml-fd");
<                                                                                                                                                             tmp___108 = vgPlain_strncmp((Char const   *)arg, (Char const   *)"--xml-fd=", tmp___107 + 1UL);
<                                                                                                                                                             if (tmp___108 == 0) {
<                                                                                                                                                               tmp___106 = 1;
<                                                                                                                                                             } else {
<                                                                                                                                                               tmp___106 = 0;
<                                                                                                                                                             }
<                                                                                                                                                           } else {
<                                                                                                                                                             tmp___106 = 0;
<                                                                                                                                                           }
<                                                                                                                                                         } else {
<                                                                                                                                                           tmp___106 = 0;
<                                                                                                                                                         }
<                                                                                                                                                         if (tmp___106) {
<                                                                                                                                                           tmp___109 = vgPlain_strlen((Char const   *)"--xml-fd");
<                                                                                                                                                           val___11 = (Char *)(arg + (tmp___109 + 1UL));
<                                                                                                                                                           tmp___110 = vgPlain_strtoll10(val___11, & s___1);
<                                                                                                                                                           n___1 = tmp___110;
<                                                                                                                                                           tmp_xml_fd = (int )n___1;
<                                                                                                                                                           if (0 != (int )*(s___1 + 0)) {
<                                                                                                                                                             vgPlain_fmsg_bad_option(arg, "");
<                                                                                                                                                           } else {
<                                                                                                                                                             if ((Long )tmp_xml_fd != n___1) {
<                                                                                                                                                               vgPlain_fmsg_bad_option(arg, "");
<                                                                                                                                                             } else {
< 
<                                                                                                                                                             }
<                                                                                                                                                           }
<                                                                                                                                                           xml_to = (enum __anonenum_log_to_140 )0;
<                                                                                                                                                           xml_fsname_unexpanded = (Char *)((void *)0);
<                                                                                                                                                         } else {
<                                                                                                                                                           _L___14: /* CIL Label */ 
<                                                                                                                                                           if ((unsigned int )arg != (unsigned int )((void *)0)) {
<                                                                                                                                                             if ((unsigned int )"--log-file=" != (unsigned int )((void *)0)) {
<                                                                                                                                                               tmp___101 = vgPlain_strlen((Char const   *)"--log-file");
<                                                                                                                                                               tmp___102 = vgPlain_strncmp((Char const   *)arg, (Char const   *)"--log-file=", tmp___101 + 1UL);
<                                                                                                                                                               if (tmp___102 == 0) {
<                                                                                                                                                                 tmp___100 = 1;
<                                                                                                                                                               } else {
<                                                                                                                                                                 tmp___100 = 0;
<                                                                                                                                                               }
<                                                                                                                                                             } else {
<                                                                                                                                                               tmp___100 = 0;
<                                                                                                                                                             }
<                                                                                                                                                           } else {
<                                                                                                                                                             tmp___100 = 0;
<                                                                                                                                                           }
<                                                                                                                                                           if (tmp___100) {
<                                                                                                                                                             tmp___103 = vgPlain_strlen((Char const   *)"--log-file");
<                                                                                                                                                             val___10 = (Char *)(arg + (tmp___103 + 1UL));
<                                                                                                                                                             log_fsname_unexpanded = val___10;
<                                                                                                                                                             log_to = (enum __anonenum_log_to_140 )1;
<                                                                                                                                                           } else {
<                                                                                                                                                             _L___13: /* CIL Label */ 
<                                                                                                                                                             if ((unsigned int )arg != (unsigned int )((void *)0)) {
<                                                                                                                                                               if ((unsigned int )"--xml-file=" != (unsigned int )((void *)0)) {
<                                                                                                                                                                 tmp___95 = vgPlain_strlen((Char const   *)"--xml-file");
<                                                                                                                                                                 tmp___96 = vgPlain_strncmp((Char const   *)arg, (Char const   *)"--xml-file=", tmp___95 + 1UL);
<                                                                                                                                                                 if (tmp___96 == 0) {
<                                                                                                                                                                   tmp___94 = 1;
<                                                                                                                                                                 } else {
<                                                                                                                                                                   tmp___94 = 0;
<                                                                                                                                                                 }
<                                                                                                                                                               } else {
<                                                                                                                                                                 tmp___94 = 0;
<                                                                                                                                                               }
<                                                                                                                                                             } else {
<                                                                                                                                                               tmp___94 = 0;
<                                                                                                                                                             }
<                                                                                                                                                             if (tmp___94) {
<                                                                                                                                                               tmp___97 = vgPlain_strlen((Char const   *)"--xml-file");
<                                                                                                                                                               val___9 = (Char *)(arg + (tmp___97 + 1UL));
<                                                                                                                                                               xml_fsname_unexpanded = val___9;
<                                                                                                                                                               xml_to = (enum __anonenum_log_to_140 )1;
<                                                                                                                                                             } else {
<                                                                                                                                                               _L___12: /* CIL Label */ 
<                                                                                                                                                               if ((unsigned int )arg != (unsigned int )((void *)0)) {
<                                                                                                                                                                 if ((unsigned int )"--log-socket=" != (unsigned int )((void *)0)) {
<                                                                                                                                                                   tmp___89 = vgPlain_strlen((Char const   *)"--log-socket");
<                                                                                                                                                                   tmp___90 = vgPlain_strncmp((Char const   *)arg, (Char const   *)"--log-socket=", tmp___89 + 1UL);
<                                                                                                                                                                   if (tmp___90 == 0) {
<                                                                                                                                                                     tmp___88 = 1;
<                                                                                                                                                                   } else {
<                                                                                                                                                                     tmp___88 = 0;
<                                                                                                                                                                   }
<                                                                                                                                                                 } else {
<                                                                                                                                                                   tmp___88 = 0;
<                                                                                                                                                                 }
<                                                                                                                                                               } else {
<                                                                                                                                                                 tmp___88 = 0;
<                                                                                                                                                               }
<                                                                                                                                                               if (tmp___88) {
<                                                                                                                                                                 tmp___91 = vgPlain_strlen((Char const   *)"--log-socket");
<                                                                                                                                                                 val___8 = (Char *)(arg + (tmp___91 + 1UL));
<                                                                                                                                                                 log_fsname_unexpanded = val___8;
<                                                                                                                                                                 log_to = (enum __anonenum_log_to_140 )2;
<                                                                                                                                                               } else {
<                                                                                                                                                                 _L___11: /* CIL Label */ 
<                                                                                                                                                                 if ((unsigned int )arg != (unsigned int )((void *)0)) {
<                                                                                                                                                                   if ((unsigned int )"--xml-socket=" != (unsigned int )((void *)0)) {
<                                                                                                                                                                     tmp___83 = vgPlain_strlen((Char const   *)"--xml-socket");
<                                                                                                                                                                     tmp___84 = vgPlain_strncmp((Char const   *)arg, (Char const   *)"--xml-socket=", tmp___83 + 1UL);
<                                                                                                                                                                     if (tmp___84 == 0) {
<                                                                                                                                                                       tmp___82 = 1;
<                                                                                                                                                                     } else {
<                                                                                                                                                                       tmp___82 = 0;
<                                                                                                                                                                     }
<                                                                                                                                                                   } else {
<                                                                                                                                                                     tmp___82 = 0;
<                                                                                                                                                                   }
<                                                                                                                                                                 } else {
<                                                                                                                                                                   tmp___82 = 0;
<                                                                                                                                                                 }
<                                                                                                                                                                 if (tmp___82) {
<                                                                                                                                                                   tmp___85 = vgPlain_strlen((Char const   *)"--xml-socket");
<                                                                                                                                                                   val___7 = (Char *)(arg + (tmp___85 + 1UL));
<                                                                                                                                                                   xml_fsname_unexpanded = val___7;
<                                                                                                                                                                   xml_to = (enum __anonenum_log_to_140 )2;
<                                                                                                                                                                 } else {
<                                                                                                                                                                   _L___10: /* CIL Label */ 
<                                                                                                                                                                   if ((unsigned int )arg != (unsigned int )((void *)0)) {
<                                                                                                                                                                     if ((unsigned int )"--xml-user-comment=" != (unsigned int )((void *)0)) {
<                                                                                                                                                                       tmp___77 = vgPlain_strlen((Char const   *)"--xml-user-comment");
<                                                                                                                                                                       tmp___78 = vgPlain_strncmp((Char const   *)arg, (Char const   *)"--xml-user-comment=", tmp___77 + 1UL);
<                                                                                                                                                                       if (tmp___78 == 0) {
<                                                                                                                                                                         tmp___76 = 1;
<                                                                                                                                                                       } else {
<                                                                                                                                                                         tmp___76 = 0;
<                                                                                                                                                                       }
<                                                                                                                                                                     } else {
<                                                                                                                                                                       tmp___76 = 0;
<                                                                                                                                                                     }
<                                                                                                                                                                   } else {
<                                                                                                                                                                     tmp___76 = 0;
<                                                                                                                                                                   }
<                                                                                                                                                                   if (tmp___76) {
<                                                                                                                                                                     tmp___79 = vgPlain_strlen((Char const   *)"--xml-user-comment");
<                                                                                                                                                                     val___6 = (Char *)(arg + (tmp___79 + 1UL));
<                                                                                                                                                                     vgPlain_clo_xml_user_comment = (HChar *)val___6;
<                                                                                                                                                                   } else {
<                                                                                                                                                                     _L___9: /* CIL Label */ 
<                                                                                                                                                                     if ((unsigned int )arg != (unsigned int )((void *)0)) {
<                                                                                                                                                                       if ((unsigned int )"--suppressions=" != (unsigned int )((void *)0)) {
<                                                                                                                                                                         tmp___71 = vgPlain_strlen((Char const   *)"--suppressions");
<                                                                                                                                                                         tmp___72 = vgPlain_strncmp((Char const   *)arg, (Char const   *)"--suppressions=", tmp___71 + 1UL);
<                                                                                                                                                                         if (tmp___72 == 0) {
<                                                                                                                                                                           tmp___70 = 1;
<                                                                                                                                                                         } else {
<                                                                                                                                                                           tmp___70 = 0;
<                                                                                                                                                                         }
<                                                                                                                                                                       } else {
<                                                                                                                                                                         tmp___70 = 0;
<                                                                                                                                                                       }
<                                                                                                                                                                     } else {
<                                                                                                                                                                       tmp___70 = 0;
<                                                                                                                                                                     }
<                                                                                                                                                                     if (tmp___70) {
<                                                                                                                                                                       tmp___73 = vgPlain_strlen((Char const   *)"--suppressions");
<                                                                                                                                                                       val___5 = (Char *)(arg + (tmp___73 + 1UL));
<                                                                                                                                                                       tmp_str = val___5;
<                                                                                                                                                                       if (vgPlain_clo_n_suppressions >= 100) {
<                                                                                                                                                                         vgPlain_fmsg_bad_option(arg, "Too many suppression files specified.\nIncrease VG_CLO_MAX_SFILES and recompile.\n");
<                                                                                                                                                                       } else {
< 
<                                                                                                                                                                       }
<                                                                                                                                                                       vgPlain_clo_suppressions[vgPlain_clo_n_suppressions] = tmp_str;
<                                                                                                                                                                       vgPlain_clo_n_suppressions ++;
<                                                                                                                                                                     } else {
<                                                                                                                                                                       _L___8: /* CIL Label */ 
<                                                                                                                                                                       if ((unsigned int )arg != (unsigned int )((void *)0)) {
<                                                                                                                                                                         if ((unsigned int )"--fullpath-after=" != (unsigned int )((void *)0)) {
<                                                                                                                                                                           tmp___65 = vgPlain_strlen((Char const   *)"--fullpath-after");
<                                                                                                                                                                           tmp___66 = vgPlain_strncmp((Char const   *)arg, (Char const   *)"--fullpath-after=", tmp___65 + 1UL);
<                                                                                                                                                                           if (tmp___66 == 0) {
<                                                                                                                                                                             tmp___64 = 1;
<                                                                                                                                                                           } else {
<                                                                                                                                                                             tmp___64 = 0;
<                                                                                                                                                                           }
<                                                                                                                                                                         } else {
<                                                                                                                                                                           tmp___64 = 0;
<                                                                                                                                                                         }
<                                                                                                                                                                       } else {
<                                                                                                                                                                         tmp___64 = 0;
<                                                                                                                                                                       }
<                                                                                                                                                                       if (tmp___64) {
<                                                                                                                                                                         tmp___67 = vgPlain_strlen((Char const   *)"--fullpath-after");
<                                                                                                                                                                         val___4 = (Char *)(arg + (tmp___67 + 1UL));
<                                                                                                                                                                         tmp_str = val___4;
<                                                                                                                                                                         if (vgPlain_clo_n_fullpath_after >= 100) {
<                                                                                                                                                                           vgPlain_fmsg_bad_option(arg, "Too many --fullpath-after= specifications.\nIncrease VG_CLO_MAX_FULLPATH_AFTER and recompile.\n");
<                                                                                                                                                                         } else {
< 
<                                                                                                                                                                         }
<                                                                                                                                                                         vgPlain_clo_fullpath_after[vgPlain_clo_n_fullpath_after] = tmp_str;
<                                                                                                                                                                         vgPlain_clo_n_fullpath_after ++;
<                                                                                                                                                                       } else {
<                                                                                                                                                                         _L___7: /* CIL Label */ 
<                                                                                                                                                                         if ((unsigned int )arg != (unsigned int )((void *)0)) {
<                                                                                                                                                                           if ((unsigned int )"--require-text-symbol=" != (unsigned int )((void *)0)) {
<                                                                                                                                                                             tmp___59 = vgPlain_strlen((Char const   *)"--require-text-symbol");
<                                                                                                                                                                             tmp___60 = vgPlain_strncmp((Char const   *)arg, (Char const   *)"--require-text-symbol=", tmp___59 + 1UL);
<                                                                                                                                                                             if (tmp___60 == 0) {
<                                                                                                                                                                               tmp___58 = 1;
<                                                                                                                                                                             } else {
<                                                                                                                                                                               tmp___58 = 0;
<                                                                                                                                                                             }
<                                                                                                                                                                           } else {
<                                                                                                                                                                             tmp___58 = 0;
<                                                                                                                                                                           }
<                                                                                                                                                                         } else {
<                                                                                                                                                                           tmp___58 = 0;
<                                                                                                                                                                         }
<                                                                                                                                                                         if (tmp___58) {
<                                                                                                                                                                           tmp___61 = vgPlain_strlen((Char const   *)"--require-text-symbol");
<                                                                                                                                                                           val___3 = (Char *)(arg + (tmp___61 + 1UL));
<                                                                                                                                                                           tmp_str = val___3;
<                                                                                                                                                                           if (vgPlain_clo_n_req_tsyms >= 100) {
<                                                                                                                                                                             vgPlain_fmsg_bad_option(arg, "Too many --require-text-symbol= specifications.\nIncrease VG_CLO_MAX_REQ_TSYMS and recompile.\n");
<                                                                                                                                                                           } else {
< 
<                                                                                                                                                                           }
<                                                                                                                                                                           ok = (unsigned char)1;
<                                                                                                                                                                           if (tmp_str) {
<                                                                                                                                                                             tmp___15 = vgPlain_strlen((Char const   *)tmp_str);
<                                                                                                                                                                             if (tmp___15 > 0UL) {
<                                                                                                                                                                               tmp___16 = 1;
<                                                                                                                                                                             } else {
<                                                                                                                                                                               tmp___16 = 0;
<                                                                                                                                                                             }
<                                                                                                                                                                           } else {
<                                                                                                                                                                             tmp___16 = 0;
<                                                                                                                                                                           }
<                                                                                                                                                                           ok = (unsigned char )tmp___16;
<                                                                                                                                                                           if (ok) {
<                                                                                                                                                                             patt[3] = *(tmp_str + 0);
<                                                                                                                                                                             patt[0] = patt[3];
<                                                                                                                                                                             patt[4] = (signed char )'?';
<                                                                                                                                                                             patt[1] = patt[4];
<                                                                                                                                                                             patt[5] = (signed char )'*';
<                                                                                                                                                                             patt[2] = patt[5];
<                                                                                                                                                                             patt[6] = (signed char)0;
<                                                                                                                                                                             ok = vgPlain_string_match((Char const   *)(patt), (Char const   *)tmp_str);
<                                                                                                                                                                           } else {
< 
<                                                                                                                                                                           }
<                                                                                                                                                                           if (! ok) {
<                                                                                                                                                                             vgPlain_fmsg_bad_option(arg, "Invalid --require-text-symbol= specification.\n");
<                                                                                                                                                                           } else {
< 
<                                                                                                                                                                           }
<                                                                                                                                                                           vgPlain_clo_req_tsyms[vgPlain_clo_n_req_tsyms] = (HChar *)tmp_str;
<                                                                                                                                                                           vgPlain_clo_n_req_tsyms ++;
<                                                                                                                                                                         } else {
<                                                                                                                                                                           _L___6: /* CIL Label */ 
<                                                                                                                                                                           if ((unsigned int )arg != (unsigned int )((void *)0)) {
<                                                                                                                                                                             if ((unsigned int )"--trace-flags=" != (unsigned int )((void *)0)) {
<                                                                                                                                                                               tmp___53 = vgPlain_strlen((Char const   *)"--trace-flags");
<                                                                                                                                                                               tmp___54 = vgPlain_strncmp((Char const   *)arg, (Char const   *)"--trace-flags=", tmp___53 + 1UL);
<                                                                                                                                                                               if (tmp___54 == 0) {
<                                                                                                                                                                                 tmp___52 = 1;
<                                                                                                                                                                               } else {
<                                                                                                                                                                                 tmp___52 = 0;
<                                                                                                                                                                               }
<                                                                                                                                                                             } else {
<                                                                                                                                                                               tmp___52 = 0;
<                                                                                                                                                                             }
<                                                                                                                                                                           } else {
<                                                                                                                                                                             tmp___52 = 0;
<                                                                                                                                                                           }
<                                                                                                                                                                           if (tmp___52) {
<                                                                                                                                                                             tmp___55 = vgPlain_strlen((Char const   *)"--trace-flags");
<                                                                                                                                                                             val___2 = (Char *)(arg + (tmp___55 + 1UL));
<                                                                                                                                                                             tmp_str = val___2;
<                                                                                                                                                                             tmp___17 = vgPlain_strlen((Char const   *)tmp_str);
<                                                                                                                                                                             if (8UL != tmp___17) {
<                                                                                                                                                                               vgPlain_fmsg_bad_option(arg, "--trace-flags argument must have 8 digits\n");
<                                                                                                                                                                             } else {
< 
<                                                                                                                                                                             }
<                                                                                                                                                                             j = 0;
<                                                                                                                                                                             while (j < 8) {
<                                                                                                                                                                               if (48 == (int )*(tmp_str + j)) {
< 
<                                                                                                                                                                               } else {
<                                                                                                                                                                                 if (49 == (int )*(tmp_str + j)) {
<                                                                                                                                                                                   vgPlain_clo_trace_flags = (unsigned char )((int )vgPlain_clo_trace_flags | (1 << (7 - j)));
<                                                                                                                                                                                 } else {
<                                                                                                                                                                                   vgPlain_fmsg_bad_option(arg, "--trace-flags argument can only contain 0s and 1s\n");
<                                                                                                                                                                                 }
<                                                                                                                                                                               }
<                                                                                                                                                                               j ++;
<                                                                                                                                                                             }
<                                                                                                                                                                           } else {
<                                                                                                                                                                             _L___5: /* CIL Label */ 
<                                                                                                                                                                             if ((unsigned int )arg != (unsigned int )((void *)0)) {
<                                                                                                                                                                               if ((unsigned int )"--profile-flags=" != (unsigned int )((void *)0)) {
<                                                                                                                                                                                 tmp___47 = vgPlain_strlen((Char const   *)"--profile-flags");
<                                                                                                                                                                                 tmp___48 = vgPlain_strncmp((Char const   *)arg, (Char const   *)"--profile-flags=", tmp___47 + 1UL);
<                                                                                                                                                                                 if (tmp___48 == 0) {
<                                                                                                                                                                                   tmp___46 = 1;
<                                                                                                                                                                                 } else {
<                                                                                                                                                                                   tmp___46 = 0;
<                                                                                                                                                                                 }
<                                                                                                                                                                               } else {
<                                                                                                                                                                                 tmp___46 = 0;
<                                                                                                                                                                               }
<                                                                                                                                                                             } else {
<                                                                                                                                                                               tmp___46 = 0;
<                                                                                                                                                                             }
<                                                                                                                                                                             if (tmp___46) {
<                                                                                                                                                                               tmp___49 = vgPlain_strlen((Char const   *)"--profile-flags");
<                                                                                                                                                                               val___1 = (Char *)(arg + (tmp___49 + 1UL));
<                                                                                                                                                                               tmp_str = val___1;
<                                                                                                                                                                               tmp___18 = vgPlain_strlen((Char const   *)tmp_str);
<                                                                                                                                                                               if (8UL != tmp___18) {
<                                                                                                                                                                                 vgPlain_fmsg_bad_option(arg, "--profile-flags argument must have 8 digits\n");
<                                                                                                                                                                               } else {
< 
<                                                                                                                                                                               }
<                                                                                                                                                                               j___0 = 0;
<                                                                                                                                                                               while (j___0 < 8) {
<                                                                                                                                                                                 if (48 == (int )*(tmp_str + j___0)) {
< 
<                                                                                                                                                                                 } else {
<                                                                                                                                                                                   if (49 == (int )*(tmp_str + j___0)) {
<                                                                                                                                                                                     vgPlain_clo_profile_flags = (unsigned char )((int )vgPlain_clo_profile_flags | (1 << (7 - j___0)));
<                                                                                                                                                                                   } else {
<                                                                                                                                                                                     vgPlain_fmsg_bad_option(arg, "--profile-flags argument can only contain 0s and 1s\n");
<                                                                                                                                                                                   }
<                                                                                                                                                                                 }
<                                                                                                                                                                                 j___0 ++;
<                                                                                                                                                                               }
<                                                                                                                                                                             } else {
<                                                                                                                                                                               _L___4: /* CIL Label */ 
<                                                                                                                                                                               if ((unsigned int )arg != (unsigned int )((void *)0)) {
<                                                                                                                                                                                 if ((unsigned int )"--trace-notbelow=" != (unsigned int )((void *)0)) {
<                                                                                                                                                                                   tmp___40 = vgPlain_strlen((Char const   *)"--trace-notbelow");
<                                                                                                                                                                                   tmp___41 = vgPlain_strncmp((Char const   *)arg, (Char const   *)"--trace-notbelow=", tmp___40 + 1UL);
<                                                                                                                                                                                   if (tmp___41 == 0) {
<                                                                                                                                                                                     tmp___39 = 1;
<                                                                                                                                                                                   } else {
<                                                                                                                                                                                     tmp___39 = 0;
<                                                                                                                                                                                   }
<                                                                                                                                                                                 } else {
<                                                                                                                                                                                   tmp___39 = 0;
<                                                                                                                                                                                 }
<                                                                                                                                                                               } else {
<                                                                                                                                                                                 tmp___39 = 0;
<                                                                                                                                                                               }
<                                                                                                                                                                               if (tmp___39) {
<                                                                                                                                                                                 tmp___42 = vgPlain_strlen((Char const   *)"--trace-notbelow");
<                                                                                                                                                                                 val___0 = (Char *)(arg + (tmp___42 + 1UL));
<                                                                                                                                                                                 tmp___43 = vgPlain_strtoll10(val___0, & s___0);
<                                                                                                                                                                                 n___0 = tmp___43;
<                                                                                                                                                                                 vgPlain_clo_trace_notbelow = (int )n___0;
<                                                                                                                                                                                 if (0 != (int )*(s___0 + 0)) {
<                                                                                                                                                                                   vgPlain_fmsg_bad_option(arg, "");
<                                                                                                                                                                                 } else {
<                                                                                                                                                                                   if ((Long )vgPlain_clo_trace_notbelow != n___0) {
<                                                                                                                                                                                     vgPlain_fmsg_bad_option(arg, "");
<                                                                                                                                                                                   } else {
< 
<                                                                                                                                                                                   }
<                                                                                                                                                                                 }
<                                                                                                                                                                               } else {
<                                                                                                                                                                                 _L___3: /* CIL Label */ 
<                                                                                                                                                                                 if ((unsigned int )arg != (unsigned int )((void *)0)) {
<                                                                                                                                                                                   if ((unsigned int )"--trace-notabove=" != (unsigned int )((void *)0)) {
<                                                                                                                                                                                     tmp___33 = vgPlain_strlen((Char const   *)"--trace-notabove");
<                                                                                                                                                                                     tmp___34 = vgPlain_strncmp((Char const   *)arg, (Char const   *)"--trace-notabove=", tmp___33 + 1UL);
<                                                                                                                                                                                     if (tmp___34 == 0) {
<                                                                                                                                                                                       tmp___32 = 1;
<                                                                                                                                                                                     } else {
<                                                                                                                                                                                       tmp___32 = 0;
<                                                                                                                                                                                     }
<                                                                                                                                                                                   } else {
<                                                                                                                                                                                     tmp___32 = 0;
<                                                                                                                                                                                   }
<                                                                                                                                                                                 } else {
<                                                                                                                                                                                   tmp___32 = 0;
<                                                                                                                                                                                 }
<                                                                                                                                                                                 if (tmp___32) {
<                                                                                                                                                                                   tmp___35 = vgPlain_strlen((Char const   *)"--trace-notabove");
<                                                                                                                                                                                   val = (Char *)(arg + (tmp___35 + 1UL));
<                                                                                                                                                                                   tmp___36 = vgPlain_strtoll10(val, & s);
<                                                                                                                                                                                   n = tmp___36;
<                                                                                                                                                                                   vgPlain_clo_trace_notabove = (int )n;
<                                                                                                                                                                                   if (0 != (int )*(s + 0)) {
<                                                                                                                                                                                     vgPlain_fmsg_bad_option(arg, "");
<                                                                                                                                                                                   } else {
<                                                                                                                                                                                     if ((Long )vgPlain_clo_trace_notabove != n) {
<                                                                                                                                                                                       vgPlain_fmsg_bad_option(arg, "");
<                                                                                                                                                                                     } else {
< 
<                                                                                                                                                                                     }
<                                                                                                                                                                                   }
<                                                                                                                                                                                 } else {
<                                                                                                                                                                                   _L___2: /* CIL Label */ 
<                                                                                                                                                                                   if ((unsigned int )arg != (unsigned int )((void *)0)) {
<                                                                                                                                                                                     if ((unsigned int )"--gen-suppressions=no" != (unsigned int )((void *)0)) {
<                                                                                                                                                                                       tmp___29 = vgPlain_strcmp((Char const   *)arg, (Char const   *)"--gen-suppressions=no");
<                                                                                                                                                                                       if (tmp___29 == 0) {
<                                                                                                                                                                                         tmp___28 = 1;
<                                                                                                                                                                                       } else {
<                                                                                                                                                                                         tmp___28 = 0;
<                                                                                                                                                                                       }
<                                                                                                                                                                                     } else {
<                                                                                                                                                                                       tmp___28 = 0;
<                                                                                                                                                                                     }
<                                                                                                                                                                                   } else {
<                                                                                                                                                                                     tmp___28 = 0;
<                                                                                                                                                                                   }
<                                                                                                                                                                                   if (tmp___28) {
<                                                                                                                                                                                     vgPlain_clo_gen_suppressions = 0;
<                                                                                                                                                                                   } else {
<                                                                                                                                                                                     _L___1: /* CIL Label */ 
<                                                                                                                                                                                     if ((unsigned int )arg != (unsigned int )((void *)0)) {
<                                                                                                                                                                                       if ((unsigned int )"--gen-suppressions=yes" != (unsigned int )((void *)0)) {
<                                                                                                                                                                                         tmp___26 = vgPlain_strcmp((Char const   *)arg, (Char const   *)"--gen-suppressions=yes");
<                                                                                                                                                                                         if (tmp___26 == 0) {
<                                                                                                                                                                                           tmp___25 = 1;
<                                                                                                                                                                                         } else {
<                                                                                                                                                                                           tmp___25 = 0;
<                                                                                                                                                                                         }
<                                                                                                                                                                                       } else {
<                                                                                                                                                                                         tmp___25 = 0;
<                                                                                                                                                                                       }
<                                                                                                                                                                                     } else {
<                                                                                                                                                                                       tmp___25 = 0;
<                                                                                                                                                                                     }
<                                                                                                                                                                                     if (tmp___25) {
<                                                                                                                                                                                       vgPlain_clo_gen_suppressions = 1;
<                                                                                                                                                                                     } else {
<                                                                                                                                                                                       _L___0: /* CIL Label */ 
<                                                                                                                                                                                       if ((unsigned int )arg != (unsigned int )((void *)0)) {
<                                                                                                                                                                                         if ((unsigned int )"--gen-suppressions=all" != (unsigned int )((void *)0)) {
<                                                                                                                                                                                           tmp___23 = vgPlain_strcmp((Char const   *)arg, (Char const   *)"--gen-suppressions=all");
<                                                                                                                                                                                           if (tmp___23 == 0) {
<                                                                                                                                                                                             tmp___22 = 1;
<                                                                                                                                                                                           } else {
<                                                                                                                                                                                             tmp___22 = 0;
<                                                                                                                                                                                           }
<                                                                                                                                                                                         } else {
<                                                                                                                                                                                           tmp___22 = 0;
<                                                                                                                                                                                         }
<                                                                                                                                                                                       } else {
<                                                                                                                                                                                         tmp___22 = 0;
<                                                                                                                                                                                       }
<                                                                                                                                                                                       if (tmp___22) {
<                                                                                                                                                                                         vgPlain_clo_gen_suppressions = 2;
<                                                                                                                                                                                       } else {
<                                                                                                                                                                                         _L: /* CIL Label */ 
<                                                                                                                                                                                         if (! vgPlain_needs.command_line_options) {
<                                                                                                                                                                                           vgPlain_fmsg_bad_option(arg, "");
<                                                                                                                                                                                         } else {
<                                                                                                                                                                                           tmp___19 = __builtin_expect((long )(! (! vgPlain_tdict.tool_process_cmd_line_option)), 1L);
<                                                                                                                                                                                           if (tmp___19) {
< 
<                                                                                                                                                                                           } else {
<                                                                                                                                                                                             vgPlain_assert_fail((unsigned char)0, (Char const   *)"VG_(tdict).tool_process_cmd_line_option", (Char const   *)"m_main.c", 752, (Char const   *)"main_process_cmd_line_options", "you forgot to set VgToolInterface function \'tool_process_cmd_line_option\'");
<                                                                                                                                                                                           }
<                                                                                                                                                                                           tmp___20 = (*(vgPlain_tdict.tool_process_cmd_line_option))((Char *)arg);
<                                                                                                                                                                                           if (tmp___20) {
< 
<                                                                                                                                                                                           } else {
<                                                                                                                                                                                             vgPlain_fmsg_bad_option(arg, "");
<                                                                                                                                                                                           }
<                                                                                                                                                                                         }
<                                                                                                                                                                                       }
<                                                                                                                                                                                     }
<                                                                                                                                                                                   }
<                                                                                                                                                                                 }
<                                                                                                                                                                               }
<                                                                                                                                                                             }
<                                                                                                                                                                           }
<                                                                                                                                                                         }
<                                                                                                                                                                       }
<                                                                                                                                                                     }
<                                                                                                                                                                   }
<                                                                                                                                                                 }
<                                                                                                                                                               }
<                                                                                                                                                             }
<                                                                                                                                                           }
<                                                                                                                                                         }
<                                                                                                                                                       }
<                                                                                                                                                     }
<                                                                                                                                                   }
<                                                                                                                                                 }
<                                                                                                                                               }
<                                                                                                                                             }
<                                                                                                                                           }
<                                                                                                                                         }
<                                                                                                                                       }
<                                                                                                                                     }
<                                                                                                                                   }
<                                                                                                                                 }
<                                                                                                                               }
<                                                                                                                             }
<                                                                                                                           }
<                                                                                                                         }
<                                                                                                                       }
<                                                                                                                     }
<                                                                                                                   }
<                                                                                                                 }
<                                                                                                               }
<                                                                                                             }
<                                                                                                           }
<                                                                                                         }
<                                                                                                       }
<                                                                                                     }
<                                                                                                   }
<                                                                                                 }
<                                                                                               }
<                                                                                             }
<                                                                                           }
<                                                                                         }
<                                                                                       }
<                                                                                     }
<                                                                                   }
<                                                                                 }
<                                                                               }
<                                                                             }
<                                                                           }
<                                                                         }
<                                                                       }
<                                                                     }
<                                                                   }
<                                                                 }
<                                                               }
<                                                             }
<                                                           }
<                                                         }
<                                                       }
<                                                     }
<                                                   }
<                                                 }
<                                               }
<                                             }
<                                           }
<                                         }
<                                       }
<                                     }
<                                   }
<                                 }
<                               }
<                             }
<                           }
<                         }
<                       }
<                     }
<                   }
<                 }
<               }
<             }
<           }
<         }
<       }
<     }
<     __Cont: /* CIL Label */ 
<     i ++;
<   }
<   if ((unsigned int )vgPlain_clo_vgdb_prefix == (unsigned int )((void *)0)) {
<     vgPlain_clo_vgdb_prefix = vgPlain_vgdb_prefix_default();
<   } else {
< 
<   }
<   if (vgPlain_clo_vex_control.guest_chase_thresh >= vgPlain_clo_vex_control.guest_max_insns) {
<     vgPlain_clo_vex_control.guest_chase_thresh = vgPlain_clo_vex_control.guest_max_insns - 1;
<   } else {
< 
<   }
<   if (vgPlain_clo_vex_control.guest_chase_thresh < 0) {
<     vgPlain_clo_vex_control.guest_chase_thresh = 0;
<   } else {
< 
<   }
<   if (vgPlain_clo_verbosity < 0) {
<     vgPlain_clo_verbosity = 0;
<   } else {
< 
<   }
<   if (vgPlain_clo_trace_notbelow == -1) {
<     if (vgPlain_clo_trace_notabove == -1) {
<       vgPlain_clo_trace_notbelow = 2147483647;
<       vgPlain_clo_trace_notabove = 0;
<     } else {
<       vgPlain_clo_trace_notbelow = 0;
<     }
<   } else {
<     if (vgPlain_clo_trace_notabove == -1) {
<       vgPlain_clo_trace_notabove = 2147483647;
<     } else {
< 
<     }
<   }
<   vgPlain_dyn_vgdb_error = vgPlain_clo_vgdb_error;
<   if (vgPlain_clo_gen_suppressions > 0) {
<     if (! vgPlain_needs.core_errors) {
<       if (! vgPlain_needs.tool_errors) {
<         vgPlain_fmsg_bad_option((HChar *)"--gen-suppressions=yes", "Can\'t use --gen-suppressions= with %s\nbecause it doesn\'t generate errors.\n", vgPlain_details.name);
<       } else {
< 
<       }
<     } else {
< 
<     }
<   } else {
< 
<   }
<   if (vgPlain_clo_xml) {
<     if (! vgPlain_needs.xml_output) {
<       vgPlain_clo_xml = (unsigned char)0;
<       vgPlain_fmsg_bad_option((HChar *)"--xml=yes", "%s does not support XML output.\n", vgPlain_details.name);
<     } else {
< 
<     }
<   } else {
< 
<   }
<   tmp___626 = __builtin_expect((long )(! (! (vgPlain_clo_gen_suppressions >= 0))), 1L);
<   if (tmp___626) {
< 
<   } else {
<     vgPlain_assert_fail((unsigned char)1, (Char const   *)"VG_(clo_gen_suppressions) >= 0", (Char const   *)"m_main.c", 814, (Char const   *)"main_process_cmd_line_options", "");
<   }
<   tmp___627 = __builtin_expect((long )(! (! (vgPlain_clo_gen_suppressions <= 2))), 1L);
<   if (tmp___627) {
< 
<   } else {
<     vgPlain_assert_fail((unsigned char)1, (Char const   *)"VG_(clo_gen_suppressions) <= 2", (Char const   *)"m_main.c", 815, (Char const   *)"main_process_cmd_line_options", "");
<   }
<   if (vgPlain_clo_xml) {
<     if (vgPlain_clo_gen_suppressions == 1) {
<       vgPlain_fmsg_bad_option((HChar *)"--xml=yes together with --gen-suppressions=yes", "When --xml=yes is specified, --gen-suppressions=no\nor --gen-suppressions=all is allowed, but not --gen-suppressions=yes.\n");
<     } else {
< 
<     }
<     if (vgPlain_clo_db_attach) {
<       vgPlain_fmsg_bad_option((HChar *)"--xml=yes together with --db-attach=yes", "--db-attach=yes is not allowed with --xml=yes\nbecause it would require user input.\n");
<     } else {
< 
<     }
<     if (vgPlain_clo_dump_error > 0) {
<       vgPlain_fmsg_bad_option((HChar *)"--xml=yes together with --dump-error", "");
<     } else {
< 
<     }
<     vgPlain_clo_error_limit = (unsigned char)0;
<   } else {
< 
<   }
<   tmp___628 = __builtin_expect((long )(! (! (vgPlain_log_output_sink.fd == 2))), 1L);
<   if (tmp___628) {
< 
<   } else {
<     vgPlain_assert_fail((unsigned char)1, (Char const   *)"VG_(log_output_sink).fd == 2", (Char const   *)"m_main.c", 877, (Char const   *)"main_process_cmd_line_options", "");
<   }
<   tmp___629 = __builtin_expect((long )(! (! ((int )vgPlain_log_output_sink.is_socket == 0))), 1L);
<   if (tmp___629) {
< 
<   } else {
<     vgPlain_assert_fail((unsigned char)1, (Char const   *)"VG_(log_output_sink).is_socket == False", (Char const   *)"m_main.c", 878, (Char const   *)"main_process_cmd_line_options", "");
<   }
<   tmp___630 = __builtin_expect((long )(! (! ((unsigned int )vgPlain_clo_log_fname_expanded == (unsigned int )((void *)0)))), 1L);
<   if (tmp___630) {
< 
<   } else {
<     vgPlain_assert_fail((unsigned char)1, (Char const   *)"VG_(clo_log_fname_expanded) == NULL", (Char const   *)"m_main.c", 879, (Char const   *)"main_process_cmd_line_options", "");
<   }
<   tmp___631 = __builtin_expect((long )(! (! (vgPlain_xml_output_sink.fd == -1))), 1L);
<   if (tmp___631) {
< 
<   } else {
<     vgPlain_assert_fail((unsigned char)1, (Char const   *)"VG_(xml_output_sink).fd == -1", (Char const   *)"m_main.c", 881, (Char const   *)"main_process_cmd_line_options", "");
<   }
<   tmp___632 = __builtin_expect((long )(! (! ((int )vgPlain_xml_output_sink.is_socket == 0))), 1L);
<   if (tmp___632) {
< 
<   } else {
<     vgPlain_assert_fail((unsigned char)1, (Char const   *)"VG_(xml_output_sink).is_socket == False", (Char const   *)"m_main.c", 882, (Char const   *)"main_process_cmd_line_options", "");
<   }
<   tmp___633 = __builtin_expect((long )(! (! ((unsigned int )vgPlain_clo_xml_fname_expanded == (unsigned int )((void *)0)))), 1L);
<   if (tmp___633) {
< 
<   } else {
<     vgPlain_assert_fail((unsigned char)1, (Char const   *)"VG_(clo_xml_fname_expanded) == NULL", (Char const   *)"m_main.c", 883, (Char const   *)"main_process_cmd_line_options", "");
<   }
<   switch ((int )log_to) {
<   case 0: 
<   tmp___634 = __builtin_expect((long )(! (! ((unsigned int )log_fsname_unexpanded == (unsigned int )((void *)0)))), 1L);
<   if (tmp___634) {
< 
<   } else {
<     vgPlain_assert_fail((unsigned char)1, (Char const   *)"log_fsname_unexpanded == NULL", (Char const   *)"m_main.c", 890, (Char const   *)"main_process_cmd_line_options", "");
<   }
<   break;
<   case 1: 
<   tmp___635 = __builtin_expect((long )(! (! ((unsigned int )log_fsname_unexpanded != (unsigned int )((void *)0)))), 1L);
<   if (tmp___635) {
< 
<   } else {
<     vgPlain_assert_fail((unsigned char)1, (Char const   *)"log_fsname_unexpanded != NULL", (Char const   *)"m_main.c", 896, (Char const   *)"main_process_cmd_line_options", "");
<   }
<   tmp___636 = vgPlain_strlen((Char const   *)log_fsname_unexpanded);
<   if (tmp___636 <= 900UL) {
<     tmp___637 = 1;
<   } else {
<     tmp___637 = 0;
<   }
<   tmp___638 = __builtin_expect((long )tmp___637, 1L);
<   if (tmp___638) {
< 
<   } else {
<     vgPlain_assert_fail((unsigned char)1, (Char const   *)"VG_(strlen)(log_fsname_unexpanded) <= 900", (Char const   *)"m_main.c", 897, (Char const   *)"main_process_cmd_line_options", "");
<   }
<   logfilename = vgPlain_expand_file_name((Char *)"--log-file", log_fsname_unexpanded);
<   sres = vgPlain_open((Char const   *)logfilename, 577, 384);
<   tmp___642 = sr_isError(sres);
<   if (tmp___642) {
<     tmp___640 = sr_Err(sres);
<     tmp___641 = vgPlain_strerror(tmp___640);
<     vgPlain_fmsg("can\'t create log file \'%s\': %s\n", logfilename, tmp___641);
<     vgPlain_exit(1);
<   } else {
<     tmp___639 = sr_Res(sres);
<     tmp_log_fd = (int )tmp___639;
<     vgPlain_clo_log_fname_expanded = logfilename;
<   }
<   break;
<   case 2: 
<   tmp___643 = __builtin_expect((long )(! (! ((unsigned int )log_fsname_unexpanded != (unsigned int )((void *)0)))), 1L);
<   if (tmp___643) {
< 
<   } else {
<     vgPlain_assert_fail((unsigned char)1, (Char const   *)"log_fsname_unexpanded != NULL", (Char const   *)"m_main.c", 919, (Char const   *)"main_process_cmd_line_options", "");
<   }
<   tmp___644 = vgPlain_strlen((Char const   *)log_fsname_unexpanded);
<   if (tmp___644 <= 900UL) {
<     tmp___645 = 1;
<   } else {
<     tmp___645 = 0;
<   }
<   tmp___646 = __builtin_expect((long )tmp___645, 1L);
<   if (tmp___646) {
< 
<   } else {
<     vgPlain_assert_fail((unsigned char)1, (Char const   *)"VG_(strlen)(log_fsname_unexpanded) <= 900", (Char const   *)"m_main.c", 920, (Char const   *)"main_process_cmd_line_options", "");
<   }
<   tmp_log_fd = vgPlain_connect_via_socket((UChar *)log_fsname_unexpanded);
<   if (tmp_log_fd == -1) {
<     vgPlain_fmsg("Invalid --log-socket spec of \'%s\'\n", log_fsname_unexpanded);
<     vgPlain_exit(1);
<   } else {
< 
<   }
<   if (tmp_log_fd == -2) {
<     vgPlain_umsg("failed to connect to logging server \'%s\'.\nLog messages will sent to stderr instead.\n", log_fsname_unexpanded);
<     tmp___647 = __builtin_expect((long )(! (! (vgPlain_log_output_sink.fd == 2))), 1L);
<     if (tmp___647) {
< 
<     } else {
<       vgPlain_assert_fail((unsigned char)1, (Char const   *)"VG_(log_output_sink).fd == 2", (Char const   *)"m_main.c", 934, (Char const   *)"main_process_cmd_line_options", "");
<     }
<     tmp_log_fd = 2;
<   } else {
<     tmp___648 = __builtin_expect((long )(! (! (tmp_log_fd > 0))), 1L);
<     if (tmp___648) {
< 
<     } else {
<       vgPlain_assert_fail((unsigned char)1, (Char const   *)"tmp_log_fd > 0", (Char const   *)"m_main.c", 937, (Char const   *)"main_process_cmd_line_options", "");
<     }
<     vgPlain_log_output_sink.is_socket = (unsigned char)1;
<   }
<   break;
<   }
<   switch ((int )xml_to) {
<   case 0: 
<   tmp___649 = __builtin_expect((long )(! (! ((unsigned int )xml_fsname_unexpanded == (unsigned int )((void *)0)))), 1L);
<   if (tmp___649) {
< 
<   } else {
<     vgPlain_assert_fail((unsigned char)1, (Char const   *)"xml_fsname_unexpanded == NULL", (Char const   *)"m_main.c", 949, (Char const   *)"main_process_cmd_line_options", "");
<   }
<   break;
<   case 1: 
<   tmp___650 = __builtin_expect((long )(! (! ((unsigned int )xml_fsname_unexpanded != (unsigned int )((void *)0)))), 1L);
<   if (tmp___650) {
< 
<   } else {
<     vgPlain_assert_fail((unsigned char)1, (Char const   *)"xml_fsname_unexpanded != NULL", (Char const   *)"m_main.c", 955, (Char const   *)"main_process_cmd_line_options", "");
<   }
<   tmp___651 = vgPlain_strlen((Char const   *)xml_fsname_unexpanded);
<   if (tmp___651 <= 900UL) {
<     tmp___652 = 1;
<   } else {
<     tmp___652 = 0;
<   }
<   tmp___653 = __builtin_expect((long )tmp___652, 1L);
<   if (tmp___653) {
< 
<   } else {
<     vgPlain_assert_fail((unsigned char)1, (Char const   *)"VG_(strlen)(xml_fsname_unexpanded) <= 900", (Char const   *)"m_main.c", 956, (Char const   *)"main_process_cmd_line_options", "");
<   }
<   xmlfilename = vgPlain_expand_file_name((Char *)"--xml-file", xml_fsname_unexpanded);
<   sres = vgPlain_open((Char const   *)xmlfilename, 577, 384);
<   tmp___657 = sr_isError(sres);
<   if (tmp___657) {
<     tmp___655 = sr_Err(sres);
<     tmp___656 = vgPlain_strerror(tmp___655);
<     vgPlain_fmsg("can\'t create XML file \'%s\': %s\n", xmlfilename, tmp___656);
<     vgPlain_exit(1);
<   } else {
<     tmp___654 = sr_Res(sres);
<     tmp_xml_fd = (int )tmp___654;
<     vgPlain_clo_xml_fname_expanded = xmlfilename;
<     *xml_fname_unexpanded = vgPlain_strdup((HChar *)"main.mpclo.2", (Char const   *)xml_fsname_unexpanded);
<   }
<   break;
<   case 2: 
<   tmp___658 = __builtin_expect((long )(! (! ((unsigned int )xml_fsname_unexpanded != (unsigned int )((void *)0)))), 1L);
<   if (tmp___658) {
< 
<   } else {
<     vgPlain_assert_fail((unsigned char)1, (Char const   *)"xml_fsname_unexpanded != NULL", (Char const   *)"m_main.c", 981, (Char const   *)"main_process_cmd_line_options", "");
<   }
<   tmp___659 = vgPlain_strlen((Char const   *)xml_fsname_unexpanded);
<   if (tmp___659 <= 900UL) {
<     tmp___660 = 1;
<   } else {
<     tmp___660 = 0;
<   }
<   tmp___661 = __builtin_expect((long )tmp___660, 1L);
<   if (tmp___661) {
< 
<   } else {
<     vgPlain_assert_fail((unsigned char)1, (Char const   *)"VG_(strlen)(xml_fsname_unexpanded) <= 900", (Char const   *)"m_main.c", 982, (Char const   *)"main_process_cmd_line_options", "");
<   }
<   tmp_xml_fd = vgPlain_connect_via_socket((UChar *)xml_fsname_unexpanded);
<   if (tmp_xml_fd == -1) {
<     vgPlain_fmsg("Invalid --xml-socket spec of \'%s\'\n", xml_fsname_unexpanded);
<     vgPlain_exit(1);
<   } else {
< 
<   }
<   if (tmp_xml_fd == -2) {
<     vgPlain_umsg("failed to connect to XML logging server \'%s\'.\nXML output will sent to stderr instead.\n", xml_fsname_unexpanded);
<     tmp___662 = __builtin_expect((long )(! (! (vgPlain_xml_output_sink.fd == 2))), 1L);
<     if (tmp___662) {
< 
<     } else {
<       vgPlain_assert_fail((unsigned char)1, (Char const   *)"VG_(xml_output_sink).fd == 2", (Char const   *)"m_main.c", 995, (Char const   *)"main_process_cmd_line_options", "");
<     }
<     tmp_xml_fd = 2;
<   } else {
<     tmp___663 = __builtin_expect((long )(! (! (tmp_xml_fd > 0))), 1L);
<     if (tmp___663) {
< 
<     } else {
<       vgPlain_assert_fail((unsigned char)1, (Char const   *)"tmp_xml_fd > 0", (Char const   *)"m_main.c", 998, (Char const   *)"main_process_cmd_line_options", "");
<     }
<     vgPlain_xml_output_sink.is_socket = (unsigned char)1;
<   }
<   break;
<   }
<   if (vgPlain_clo_xml) {
<     if (tmp_xml_fd == -1) {
<       vgPlain_fmsg_bad_option((HChar *)"--xml=yes, but no XML destination specified", "--xml=yes has been specified, but there is no XML output\ndestination.  You must specify an XML output destination\nusing --xml-fd, --xml-file or --xml-socket.\n");
<     } else {
< 
<     }
<   } else {
< 
<   }
<   if (tmp_log_fd >= 0) {
<     tmp_log_fd = vgPlain_fcntl(tmp_log_fd, 0, (unsigned long )vgPlain_fd_hard_limit);
<     if (tmp_log_fd < 0) {
<       vgPlain_message((enum __anonenum_VgMsgKind_125 )1, "valgrind: failed to move logfile fd into safe range, using stderr\n");
<       vgPlain_log_output_sink.fd = 2;
<       vgPlain_log_output_sink.is_socket = (unsigned char)0;
<     } else {
<       vgPlain_log_output_sink.fd = tmp_log_fd;
<       vgPlain_fcntl(vgPlain_log_output_sink.fd, 2, 1UL);
<     }
<   } else {
<     vgPlain_log_output_sink.fd = -1;
<     vgPlain_log_output_sink.is_socket = (unsigned char)0;
<   }
<   if (tmp_xml_fd >= 0) {
<     tmp_xml_fd = vgPlain_fcntl(tmp_xml_fd, 0, (unsigned long )vgPlain_fd_hard_limit);
<     if (tmp_xml_fd < 0) {
<       vgPlain_message((enum __anonenum_VgMsgKind_125 )1, "valgrind: failed to move XML file fd into safe range, using stderr\n");
<       vgPlain_xml_output_sink.fd = 2;
<       vgPlain_xml_output_sink.is_socket = (unsigned char)0;
<     } else {
<       vgPlain_xml_output_sink.fd = tmp_xml_fd;
<       vgPlain_fcntl(vgPlain_xml_output_sink.fd, 2, 1UL);
<     }
<   } else {
<     vgPlain_xml_output_sink.fd = -1;
<     vgPlain_xml_output_sink.is_socket = (unsigned char)0;
<   }
<   if (vgPlain_clo_n_suppressions < 99) {
<     if (vgPlain_needs.core_errors) {
<       goto _L___73;
<     } else {
<       if (vgPlain_needs.tool_errors) {
<         _L___73: /* CIL Label */ 
<         tmp___664 = vgPlain_strlen(vgPlain_libdir);
<         len = (Int )((tmp___664 + 1UL) + (SizeT )sizeof(default_supp));
<         tmp___665 = vgPlain_arena_malloc(0, (HChar *)"main.mpclo.3", (unsigned long )len);
<         buf = (Char *)tmp___665;
<         vgPlain_sprintf(buf, "%s/%s", vgPlain_libdir, default_supp);
<         vgPlain_clo_suppressions[vgPlain_clo_n_suppressions] = buf;
<         vgPlain_clo_n_suppressions ++;
<       } else {
< 
<       }
<     }
<   } else {
< 
<   }
<   if ((unsigned int )log_to == 0U) {
<     tmp___666 = 1;
<   } else {
<     if ((unsigned int )log_to == 2U) {
<       tmp___666 = 1;
<     } else {
<       tmp___666 = 0;
<     }
<   }
<   *logging_to_fd = (unsigned char )tmp___666;
<   return;
< }
< }
< 
10750a6400,6405
>   {
> 
>   }
>   {
>   vgPlain_fmsg("FMSG: (2462)\n");
>   }
10751a6407,6409
>   {
>   vgPlain_fmsg("FMSG: (2463)\n");
>   }
10755c6413,6414
< static void print_preamble(Bool logging_to_fd , Char *xml_fname_unexpanded , HChar const   *toolname ) 
---
> static void print_preamble(Bool logging_to_fd , Char *xml_fname_unexpanded ,
>                            HChar const   *toolname ) 
10801a6461,6466
>   {
> 
>   }
>   {
>   vgPlain_fmsg("FMSG: (2626)\n");
>   }
10802a6468,6470
>     {
>     vgPlain_fmsg("FMSG: (2464)\n");
>     }
10804a6473,6475
>     {
>     vgPlain_fmsg("FMSG: (2465)\n");
>     }
10806a6478,6480
>   {
>   vgPlain_fmsg("FMSG: (2627)\n");
>   }
10807a6482,6484
>   {
>   vgPlain_fmsg("FMSG: (2628)\n");
>   }
10808a6486,6488
>     {
>     vgPlain_fmsg("FMSG: (2466)\n");
>     }
10810a6491,6493
>     {
>     vgPlain_fmsg("FMSG: (2467)\n");
>     }
10812a6496,6498
>   {
>   vgPlain_fmsg("FMSG: (2629)\n");
>   }
10813a6500,6502
>   {
>   vgPlain_fmsg("FMSG: (2630)\n");
>   }
10814a6504,6506
>     {
>     vgPlain_fmsg("FMSG: (2468)\n");
>     }
10816a6509,6511
>     {
>     vgPlain_fmsg("FMSG: (2469)\n");
>     }
10818a6514,6516
>   {
>   vgPlain_fmsg("FMSG: (2631)\n");
>   }
10819a6518,6520
>   {
>   vgPlain_fmsg("FMSG: (2632)\n");
>   }
10820a6522,6524
>     {
>     vgPlain_fmsg("FMSG: (2470)\n");
>     }
10822a6527,6529
>     {
>     vgPlain_fmsg("FMSG: (2471)\n");
>     }
10824a6532,6534
>   {
>   vgPlain_fmsg("FMSG: (2633)\n");
>   }
10825a6536,6538
>   {
>   vgPlain_fmsg("FMSG: (2634)\n");
>   }
10826a6540,6542
>   {
>   vgPlain_fmsg("FMSG: (2635)\n");
>   }
10827a6544,6546
>     {
>     vgPlain_fmsg("FMSG: (2472)\n");
>     }
10830c6549,6558
<     vgPlain_assert_fail((unsigned char)1, (Char const   *)"VG_(args_for_client)", (Char const   *)"m_main.c", 1165, (Char const   *)"print_preamble", "");
---
>     {
>     vgPlain_fmsg("FMSG: (2473)\n");
>     }
>     vgPlain_assert_fail((unsigned char)1,
>                         (Char const   *)"VG_(args_for_client)",
>                         (Char const   *)"m_main.c", 1165,
>                         (Char const   *)"print_preamble", "");
>   }
>   {
>   vgPlain_fmsg("FMSG: (2636)\n");
10832a6561,6563
>   {
>   vgPlain_fmsg("FMSG: (2637)\n");
>   }
10833a6565,6567
>     {
>     vgPlain_fmsg("FMSG: (2474)\n");
>     }
10836c6570,6579
<     vgPlain_assert_fail((unsigned char)1, (Char const   *)"VG_(args_for_valgrind)", (Char const   *)"m_main.c", 1166, (Char const   *)"print_preamble", "");
---
>     {
>     vgPlain_fmsg("FMSG: (2475)\n");
>     }
>     vgPlain_assert_fail((unsigned char)1,
>                         (Char const   *)"VG_(args_for_valgrind)",
>                         (Char const   *)"m_main.c", 1166,
>                         (Char const   *)"print_preamble", "");
>   }
>   {
>   vgPlain_fmsg("FMSG: (2638)\n");
10838a6582,6584
>   {
>   vgPlain_fmsg("FMSG: (2639)\n");
>   }
10839a6586,6588
>     {
>     vgPlain_fmsg("FMSG: (2476)\n");
>     }
10842c6591,6599
<     vgPlain_assert_fail((unsigned char)1, (Char const   *)"toolname", (Char const   *)"m_main.c", 1167, (Char const   *)"print_preamble", "");
---
>     {
>     vgPlain_fmsg("FMSG: (2477)\n");
>     }
>     vgPlain_assert_fail((unsigned char)1, (Char const   *)"toolname",
>                         (Char const   *)"m_main.c", 1167,
>                         (Char const   *)"print_preamble", "");
>   }
>   {
>   vgPlain_fmsg("FMSG: (2640)\n");
10844a6602,6604
>     {
>     vgPlain_fmsg("FMSG: (2478)\n");
>     }
10845a6606,6608
>     {
>     vgPlain_fmsg("FMSG: (2479)\n");
>     }
10846a6610,6612
>     {
>     vgPlain_fmsg("FMSG: (2480)\n");
>     }
10847a6614,6616
>     {
>     vgPlain_fmsg("FMSG: (2481)\n");
>     }
10848a6618,6620
>     {
>     vgPlain_fmsg("FMSG: (2482)\n");
>     }
10849a6622,6624
>     {
>     vgPlain_fmsg("FMSG: (2483)\n");
>     }
10850a6626,6628
>     {
>     vgPlain_fmsg("FMSG: (2484)\n");
>     }
10852a6631,6633
>     {
>     vgPlain_fmsg("FMSG: (2485)\n");
>     }
10854a6636,6638
>   {
>   vgPlain_fmsg("FMSG: (2641)\n");
>   }
10857a6642,6644
>     {
>     vgPlain_fmsg("FMSG: (2537)\n");
>     }
10858a6646,6648
>       {
>       vgPlain_fmsg("FMSG: (2520)\n");
>       }
10860a6651,6653
>         {
>         vgPlain_fmsg("FMSG: (2486)\n");
>         }
10862a6656,6658
>         {
>         vgPlain_fmsg("FMSG: (2487)\n");
>         }
10864a6661,6663
>       {
>       vgPlain_fmsg("FMSG: (2521)\n");
>       }
10865a6665,6667
>         {
>         vgPlain_fmsg("FMSG: (2488)\n");
>         }
10867a6670,6672
>         {
>         vgPlain_fmsg("FMSG: (2489)\n");
>         }
10869a6675,6677
>       {
>       vgPlain_fmsg("FMSG: (2522)\n");
>       }
10870a6679,6681
>         {
>         vgPlain_fmsg("FMSG: (2490)\n");
>         }
10872a6684,6686
>         {
>         vgPlain_fmsg("FMSG: (2491)\n");
>         }
10874a6689,6691
>       {
>       vgPlain_fmsg("FMSG: (2523)\n");
>       }
10875a6693,6695
>         {
>         vgPlain_fmsg("FMSG: (2492)\n");
>         }
10877a6698,6700
>         {
>         vgPlain_fmsg("FMSG: (2493)\n");
>         }
10880c6703,6710
<       (*umsg_or_xml)(tmp___8, xpre, vgPlain_details.name, tmp___7, tmp___6, vgPlain_details.description, xpost);
---
>       {
>       vgPlain_fmsg("FMSG: (2524)\n");
>       }
>       (*umsg_or_xml)(tmp___8, xpre, vgPlain_details.name, tmp___7, tmp___6,
>                      vgPlain_details.description, xpost);
>       {
>       vgPlain_fmsg("FMSG: (2525)\n");
>       }
10881a6712,6714
>       {
>       vgPlain_fmsg("FMSG: (2526)\n");
>       }
10882a6716,6718
>         {
>         vgPlain_fmsg("FMSG: (2503)\n");
>         }
10883a6720,6722
>           {
>           vgPlain_fmsg("FMSG: (2499)\n");
>           }
10885c6724,6731
<             tmp___12 = vgPlain_strncmp((Char const   *)toolname, (Char const   *)"exp-", 4UL);
---
>             {
>             vgPlain_fmsg("FMSG: (2496)\n");
>             }
>             tmp___12 = vgPlain_strncmp((Char const   *)toolname,
>                                        (Char const   *)"exp-", 4UL);
>             {
>             vgPlain_fmsg("FMSG: (2497)\n");
>             }
10886a6733,6735
>               {
>               vgPlain_fmsg("FMSG: (2494)\n");
>               }
10888a6738,6740
>               {
>               vgPlain_fmsg("FMSG: (2495)\n");
>               }
10891a6744,6746
>             {
>             vgPlain_fmsg("FMSG: (2498)\n");
>             }
10894a6750,6752
>           {
>           vgPlain_fmsg("FMSG: (2500)\n");
>           }
10896a6755,6757
>         {
>         vgPlain_fmsg("FMSG: (2504)\n");
>         }
10898c6759,6763
<           (*umsg_or_xml)("%sNOTE: This is an Experimental-Class Valgrind Tool%s\n", xpre, xpost);
---
>           {
>           vgPlain_fmsg("FMSG: (2501)\n");
>           }
>           (*umsg_or_xml)("%sNOTE: This is an Experimental-Class Valgrind Tool%s\n",
>                          xpre, xpost);
10899a6765,6767
>           {
>           vgPlain_fmsg("FMSG: (2502)\n");
>           }
10902a6771,6773
>         {
>         vgPlain_fmsg("FMSG: (2505)\n");
>         }
10904a6776,6778
>       {
>       vgPlain_fmsg("FMSG: (2527)\n");
>       }
10905a6780,6782
>         {
>         vgPlain_fmsg("FMSG: (2506)\n");
>         }
10907a6785,6787
>         {
>         vgPlain_fmsg("FMSG: (2507)\n");
>         }
10909a6790,6792
>       {
>       vgPlain_fmsg("FMSG: (2528)\n");
>       }
10911c6794,6801
<       (*umsg_or_xml)("%sUsing Valgrind-%s and LibVEX; rerun with -h for copyright info%s\n", xpre, "3.8.0-PRE1", xpost);
---
>       {
>       vgPlain_fmsg("FMSG: (2529)\n");
>       }
>       (*umsg_or_xml)("%sUsing Valgrind-%s and LibVEX; rerun with -h for copyright info%s\n",
>                      xpre, "3.8.0-PRE1", xpost);
>       {
>       vgPlain_fmsg("FMSG: (2530)\n");
>       }
10912a6803,6805
>       {
>       vgPlain_fmsg("FMSG: (2531)\n");
>       }
10913a6807,6809
>         {
>         vgPlain_fmsg("FMSG: (2508)\n");
>         }
10915a6812,6814
>         {
>         vgPlain_fmsg("FMSG: (2509)\n");
>         }
10917a6817,6819
>       {
>       vgPlain_fmsg("FMSG: (2532)\n");
>       }
10918a6821,6823
>       {
>       vgPlain_fmsg("FMSG: (2533)\n");
>       }
10919a6825,6827
>         {
>         vgPlain_fmsg("FMSG: (2511)\n");
>         }
10920a6829,6831
>         {
>         vgPlain_fmsg("FMSG: (2512)\n");
>         }
10921a6833,6835
>           {
>           vgPlain_fmsg("FMSG: (2510)\n");
>           }
10925a6840,6842
>         {
>         vgPlain_fmsg("FMSG: (2513)\n");
>         }
10926a6844,6846
>         {
>         vgPlain_fmsg("FMSG: (2514)\n");
>         }
10927a6848,6850
>         {
>         vgPlain_fmsg("FMSG: (2515)\n");
>         }
10928a6852,6854
>         {
>         vgPlain_fmsg("FMSG: (2516)\n");
>         }
10929a6856,6858
>         {
>         vgPlain_fmsg("FMSG: (2517)\n");
>         }
10931a6861,6863
>       {
>       vgPlain_fmsg("FMSG: (2534)\n");
>       }
10932a6865,6867
>       {
>       vgPlain_fmsg("FMSG: (2535)\n");
>       }
10933a6869,6871
>         {
>         vgPlain_fmsg("FMSG: (2518)\n");
>         }
10935a6874,6876
>         {
>         vgPlain_fmsg("FMSG: (2519)\n");
>         }
10938a6880,6882
>       {
>       vgPlain_fmsg("FMSG: (2536)\n");
>       }
10941a6886,6888
>   {
>   vgPlain_fmsg("FMSG: (2642)\n");
>   }
10942a6890,6892
>     {
>     vgPlain_fmsg("FMSG: (2541)\n");
>     }
10943a6894,6896
>       {
>       vgPlain_fmsg("FMSG: (2540)\n");
>       }
10944a6898,6900
>         {
>         vgPlain_fmsg("FMSG: (2538)\n");
>         }
10945a6902,6904
>         {
>         vgPlain_fmsg("FMSG: (2539)\n");
>         }
10953a6913,6915
>     {
>     vgPlain_fmsg("FMSG: (2584)\n");
>     }
10956a6919,6921
>       {
>       vgPlain_fmsg("FMSG: (2562)\n");
>       }
10957a6923,6925
>       {
>       vgPlain_fmsg("FMSG: (2563)\n");
>       }
10958a6927,6929
>       {
>       vgPlain_fmsg("FMSG: (2564)\n");
>       }
10959a6931,6933
>       {
>       vgPlain_fmsg("FMSG: (2565)\n");
>       }
10960a6935,6937
>       {
>       vgPlain_fmsg("FMSG: (2566)\n");
>       }
10961a6939,6941
>       {
>       vgPlain_fmsg("FMSG: (2567)\n");
>       }
10962a6943,6945
>       {
>       vgPlain_fmsg("FMSG: (2568)\n");
>       }
10963a6947,6949
>         {
>         vgPlain_fmsg("FMSG: (2542)\n");
>         }
10965a6952,6954
>         {
>         vgPlain_fmsg("FMSG: (2543)\n");
>         }
10967a6957,6959
>       {
>       vgPlain_fmsg("FMSG: (2569)\n");
>       }
10969c6961,6965
<         vgPlain_printf_xml("<usercomment>%s</usercomment>\n", vgPlain_clo_xml_user_comment);
---
>         {
>         vgPlain_fmsg("FMSG: (2544)\n");
>         }
>         vgPlain_printf_xml("<usercomment>%s</usercomment>\n",
>                            vgPlain_clo_xml_user_comment);
10970a6967,6969
>         {
>         vgPlain_fmsg("FMSG: (2545)\n");
>         }
10972a6972,6974
>       {
>       vgPlain_fmsg("FMSG: (2570)\n");
>       }
10973a6976,6978
>       {
>       vgPlain_fmsg("FMSG: (2571)\n");
>       }
10974a6980,6982
>       {
>       vgPlain_fmsg("FMSG: (2572)\n");
>       }
10975a6984,6986
>       {
>       vgPlain_fmsg("FMSG: (2573)\n");
>       }
10976a6988,6990
>         {
>         vgPlain_fmsg("FMSG: (2546)\n");
>         }
10978a6993,6995
>         {
>         vgPlain_fmsg("FMSG: (2547)\n");
>         }
10980a6998,7000
>       {
>       vgPlain_fmsg("FMSG: (2574)\n");
>       }
10981a7002,7004
>       {
>       vgPlain_fmsg("FMSG: (2575)\n");
>       }
10982a7006,7008
>         {
>         vgPlain_fmsg("FMSG: (2549)\n");
>         }
10983a7010,7012
>         {
>         vgPlain_fmsg("FMSG: (2550)\n");
>         }
10984a7014,7016
>           {
>           vgPlain_fmsg("FMSG: (2548)\n");
>           }
10988a7021,7023
>         {
>         vgPlain_fmsg("FMSG: (2551)\n");
>         }
10989a7025,7027
>         {
>         vgPlain_fmsg("FMSG: (2552)\n");
>         }
10990a7029,7031
>         {
>         vgPlain_fmsg("FMSG: (2553)\n");
>         }
10992a7034,7036
>       {
>       vgPlain_fmsg("FMSG: (2576)\n");
>       }
10993a7038,7040
>       {
>       vgPlain_fmsg("FMSG: (2577)\n");
>       }
10994a7042,7044
>       {
>       vgPlain_fmsg("FMSG: (2578)\n");
>       }
10995a7046,7048
>         {
>         vgPlain_fmsg("FMSG: (2554)\n");
>         }
10997a7051,7053
>         {
>         vgPlain_fmsg("FMSG: (2555)\n");
>         }
10999a7056,7058
>       {
>       vgPlain_fmsg("FMSG: (2579)\n");
>       }
11000a7060,7062
>       {
>       vgPlain_fmsg("FMSG: (2580)\n");
>       }
11001a7064,7066
>         {
>         vgPlain_fmsg("FMSG: (2557)\n");
>         }
11002a7068,7070
>         {
>         vgPlain_fmsg("FMSG: (2558)\n");
>         }
11003a7072,7074
>           {
>           vgPlain_fmsg("FMSG: (2556)\n");
>           }
11007a7079,7081
>         {
>         vgPlain_fmsg("FMSG: (2559)\n");
>         }
11008a7083,7085
>         {
>         vgPlain_fmsg("FMSG: (2560)\n");
>         }
11009a7087,7089
>         {
>         vgPlain_fmsg("FMSG: (2561)\n");
>         }
11011a7092,7094
>       {
>       vgPlain_fmsg("FMSG: (2581)\n");
>       }
11012a7096,7098
>       {
>       vgPlain_fmsg("FMSG: (2582)\n");
>       }
11014a7101,7103
>       {
>       vgPlain_fmsg("FMSG: (2583)\n");
>       }
11017a7107,7109
>   {
>   vgPlain_fmsg("FMSG: (2643)\n");
>   }
11018a7111,7113
>     {
>     vgPlain_fmsg("FMSG: (2585)\n");
>     }
11020a7116,7118
>     {
>     vgPlain_fmsg("FMSG: (2588)\n");
>     }
11021a7120,7122
>       {
>       vgPlain_fmsg("FMSG: (2586)\n");
>       }
11023a7125,7127
>       {
>       vgPlain_fmsg("FMSG: (2587)\n");
>       }
11026a7131,7133
>   {
>   vgPlain_fmsg("FMSG: (2644)\n");
>   }
11027a7135,7137
>     {
>     vgPlain_fmsg("FMSG: (2611)\n");
>     }
11028a7139,7141
>       {
>       vgPlain_fmsg("FMSG: (2589)\n");
>       }
11030a7144,7146
>       {
>       vgPlain_fmsg("FMSG: (2590)\n");
>       }
11032a7149,7151
>     {
>     vgPlain_fmsg("FMSG: (2612)\n");
>     }
11033a7153,7155
>     {
>     vgPlain_fmsg("FMSG: (2613)\n");
>     }
11034a7157,7159
>     {
>     vgPlain_fmsg("FMSG: (2614)\n");
>     }
11035a7161,7163
>       {
>       vgPlain_fmsg("FMSG: (2592)\n");
>       }
11036a7165,7167
>       {
>       vgPlain_fmsg("FMSG: (2593)\n");
>       }
11037a7169,7171
>         {
>         vgPlain_fmsg("FMSG: (2591)\n");
>         }
11041a7176,7178
>       {
>       vgPlain_fmsg("FMSG: (2594)\n");
>       }
11043c7180,7187
<       vgPlain_message((enum __anonenum_VgMsgKind_125 )2, "   %s\n", *((HChar **)tmp___23));
---
>       {
>       vgPlain_fmsg("FMSG: (2595)\n");
>       }
>       vgPlain_message((enum __anonenum_VgMsgKind_125 )2, "   %s\n",
>                       *((HChar **)tmp___23));
>       {
>       vgPlain_fmsg("FMSG: (2596)\n");
>       }
11046c7190,7197
<     vgPlain_message((enum __anonenum_VgMsgKind_125 )2, "Contents of /proc/version:\n");
---
>     {
>     vgPlain_fmsg("FMSG: (2615)\n");
>     }
>     vgPlain_message((enum __anonenum_VgMsgKind_125 )2,
>                     "Contents of /proc/version:\n");
>     {
>     vgPlain_fmsg("FMSG: (2616)\n");
>     }
11047a7199,7201
>     {
>     vgPlain_fmsg("FMSG: (2617)\n");
>     }
11048a7203,7205
>     {
>     vgPlain_fmsg("FMSG: (2618)\n");
>     }
11050c7207,7211
<       vgPlain_message((enum __anonenum_VgMsgKind_125 )2, "  can\'t open /proc/version\n");
---
>       {
>       vgPlain_fmsg("FMSG: (2597)\n");
>       }
>       vgPlain_message((enum __anonenum_VgMsgKind_125 )2,
>                       "  can\'t open /proc/version\n");
11051a7213,7215
>       {
>       vgPlain_fmsg("FMSG: (2603)\n");
>       }
11052a7217,7219
>       {
>       vgPlain_fmsg("FMSG: (2604)\n");
>       }
11053a7221,7223
>       {
>       vgPlain_fmsg("FMSG: (2605)\n");
>       }
11054a7225,7227
>       {
>       vgPlain_fmsg("FMSG: (2606)\n");
>       }
11055a7229,7231
>       {
>       vgPlain_fmsg("FMSG: (2607)\n");
>       }
11056a7233,7235
>         {
>         vgPlain_fmsg("FMSG: (2598)\n");
>         }
11059c7238,7246
<         vgPlain_assert_fail((unsigned char)1, (Char const   *)"n <= BUF_LEN", (Char const   *)"m_main.c", 1317, (Char const   *)"print_preamble", "");
---
>         {
>         vgPlain_fmsg("FMSG: (2599)\n");
>         }
>         vgPlain_assert_fail((unsigned char)1, (Char const   *)"n <= BUF_LEN",
>                             (Char const   *)"m_main.c", 1317,
>                             (Char const   *)"print_preamble", "");
>       }
>       {
>       vgPlain_fmsg("FMSG: (2608)\n");
11061a7249,7251
>         {
>         vgPlain_fmsg("FMSG: (2600)\n");
>         }
11062a7253,7255
>         {
>         vgPlain_fmsg("FMSG: (2601)\n");
>         }
11064a7258,7260
>         {
>         vgPlain_fmsg("FMSG: (2602)\n");
>         }
11066a7263,7265
>       {
>       vgPlain_fmsg("FMSG: (2609)\n");
>       }
11067a7267,7269
>       {
>       vgPlain_fmsg("FMSG: (2610)\n");
>       }
11069a7272,7274
>     {
>     vgPlain_fmsg("FMSG: (2619)\n");
>     }
11070a7276,7278
>     {
>     vgPlain_fmsg("FMSG: (2620)\n");
>     }
11071a7280,7282
>     {
>     vgPlain_fmsg("FMSG: (2621)\n");
>     }
11073,11075c7284,7299
<     vgPlain_message((enum __anonenum_VgMsgKind_125 )2, "Arch and hwcaps: %s, %s\n", tmp___31, tmp___30);
<     vgPlain_message((enum __anonenum_VgMsgKind_125 )2, "Page sizes: currently %d, max supported %d\n", (int )(1UL << 12), (int )(1UL << 12));
<     vgPlain_message((enum __anonenum_VgMsgKind_125 )2, "Valgrind library directory: %s\n", vgPlain_libdir);
---
>     {
>     vgPlain_fmsg("FMSG: (2622)\n");
>     }
>     vgPlain_message((enum __anonenum_VgMsgKind_125 )2,
>                     "Arch and hwcaps: %s, %s\n", tmp___31, tmp___30);
>     {
>     vgPlain_fmsg("FMSG: (2623)\n");
>     }
>     vgPlain_message((enum __anonenum_VgMsgKind_125 )2,
>                     "Page sizes: currently %d, max supported %d\n",
>                     (int )(1UL << 12), (int )(1UL << 12));
>     {
>     vgPlain_fmsg("FMSG: (2624)\n");
>     }
>     vgPlain_message((enum __anonenum_VgMsgKind_125 )2,
>                     "Valgrind library directory: %s\n", vgPlain_libdir);
11076a7301,7303
>     {
>     vgPlain_fmsg("FMSG: (2625)\n");
>     }
11078a7306,7308
>   {
>   vgPlain_fmsg("FMSG: (2645)\n");
>   }
11087a7318,7323
>   {
> 
>   }
>   {
>   vgPlain_fmsg("FMSG: (2658)\n");
>   }
11088a7325,7327
>   {
>   vgPlain_fmsg("FMSG: (2659)\n");
>   }
11089a7329,7331
>   {
>   vgPlain_fmsg("FMSG: (2660)\n");
>   }
11090a7333,7335
>     {
>     vgPlain_fmsg("FMSG: (2646)\n");
>     }
11091a7337,7339
>     {
>     vgPlain_fmsg("FMSG: (2647)\n");
>     }
11093a7342,7344
>     {
>     vgPlain_fmsg("FMSG: (2648)\n");
>     }
11095a7347,7349
>   {
>   vgPlain_fmsg("FMSG: (2661)\n");
>   }
11097c7351,7355
<     vgPlain_printf("fd limits: host, before: cur %lu max %lu\n", rl.rlim_cur, rl.rlim_max);
---
>     {
>     vgPlain_fmsg("FMSG: (2649)\n");
>     }
>     vgPlain_printf("fd limits: host, before: cur %lu max %lu\n", rl.rlim_cur,
>                    rl.rlim_max);
11098a7357,7359
>     {
>     vgPlain_fmsg("FMSG: (2650)\n");
>     }
11100a7362,7364
>   {
>   vgPlain_fmsg("FMSG: (2662)\n");
>   }
11101a7366,7368
>     {
>     vgPlain_fmsg("FMSG: (2651)\n");
>     }
11103a7371,7373
>     {
>     vgPlain_fmsg("FMSG: (2652)\n");
>     }
11105a7376,7378
>   {
>   vgPlain_fmsg("FMSG: (2663)\n");
>   }
11106a7380,7382
>   {
>   vgPlain_fmsg("FMSG: (2664)\n");
>   }
11107a7384,7386
>   {
>   vgPlain_fmsg("FMSG: (2665)\n");
>   }
11108a7388,7390
>   {
>   vgPlain_fmsg("FMSG: (2666)\n");
>   }
11110,11111c7392,7401
<     vgPlain_printf("fd limits: host,  after: cur %lu max %lu\n", rl.rlim_cur, rl.rlim_max);
<     vgPlain_printf("fd limits: guest       : cur %u max %u\n", vgPlain_fd_soft_limit, vgPlain_fd_hard_limit);
---
>     {
>     vgPlain_fmsg("FMSG: (2653)\n");
>     }
>     vgPlain_printf("fd limits: host,  after: cur %lu max %lu\n", rl.rlim_cur,
>                    rl.rlim_max);
>     {
>     vgPlain_fmsg("FMSG: (2654)\n");
>     }
>     vgPlain_printf("fd limits: guest       : cur %u max %u\n",
>                    vgPlain_fd_soft_limit, vgPlain_fd_hard_limit);
11112a7403,7405
>     {
>     vgPlain_fmsg("FMSG: (2655)\n");
>     }
11114a7408,7410
>   {
>   vgPlain_fmsg("FMSG: (2667)\n");
>   }
11115a7412,7414
>     {
>     vgPlain_fmsg("FMSG: (2656)\n");
>     }
11117a7417,7419
>     {
>     vgPlain_fmsg("FMSG: (2657)\n");
>     }
11119a7422,7424
>   {
>   vgPlain_fmsg("FMSG: (2668)\n");
>   }
11131a7437,7442
>   {
> 
>   }
>   {
>   vgPlain_fmsg("FMSG: (2701)\n");
>   }
11132a7444,7446
>   {
>   vgPlain_fmsg("FMSG: (2702)\n");
>   }
11133a7448,7450
>   {
>   vgPlain_fmsg("FMSG: (2703)\n");
>   }
11134a7452,7454
>   {
>   vgPlain_fmsg("FMSG: (2704)\n");
>   }
11135a7456,7458
>   {
>   vgPlain_fmsg("FMSG: (2705)\n");
>   }
11136a7460,7462
>   {
>   vgPlain_fmsg("FMSG: (2706)\n");
>   }
11137a7464,7466
>   {
>   vgPlain_fmsg("FMSG: (2707)\n");
>   }
11138a7468,7470
>   {
>   vgPlain_fmsg("FMSG: (2708)\n");
>   }
11140c7472,7489
<   while ((UInt )r < n_tops) {
---
>   {
>   vgPlain_fmsg("FMSG: (2709)\n");
>   }
>   while (1) {
>     {
>     vgPlain_fmsg("FMSG: (2671)\n");
>     }
>     if ((UInt )r < n_tops) {
>       {
>       vgPlain_fmsg("FMSG: (2669)\n");
>       }
> 
>     } else {
>       break;
>     }
>     {
>     vgPlain_fmsg("FMSG: (2672)\n");
>     }
11143a7493,7495
>       {
>       vgPlain_fmsg("FMSG: (2670)\n");
>       }
11145a7498,7500
>     {
>     vgPlain_fmsg("FMSG: (2673)\n");
>     }
11146a7502,7504
>     {
>     vgPlain_fmsg("FMSG: (2674)\n");
>     }
11147a7506,7508
>     {
>     vgPlain_fmsg("FMSG: (2675)\n");
>     }
11148a7510,7512
>     {
>     vgPlain_fmsg("FMSG: (2676)\n");
>     }
11149a7514,7516
>     {
>     vgPlain_fmsg("FMSG: (2677)\n");
>     }
11150a7518,7520
>     {
>     vgPlain_fmsg("FMSG: (2678)\n");
>     }
11151a7522,7524
>     {
>     vgPlain_fmsg("FMSG: (2679)\n");
>     }
11153c7526,7534
<     vgPlain_printf("%3d: (%9lld %s)   %9lld %s      0x%llx %s\n", r, score_cumul, buf_cumul, score_here, buf_here, (tops + r)->addr, name);
---
>     {
>     vgPlain_fmsg("FMSG: (2680)\n");
>     }
>     vgPlain_printf("%3d: (%9lld %s)   %9lld %s      0x%llx %s\n", r,
>                    score_cumul, buf_cumul, score_here, buf_here,
>                    (tops + r)->addr, name);
>     {
>     vgPlain_fmsg("FMSG: (2681)\n");
>     }
11156a7538,7540
>   {
>   vgPlain_fmsg("FMSG: (2710)\n");
>   }
11157a7542,7544
>   {
>   vgPlain_fmsg("FMSG: (2711)\n");
>   }
11158a7546,7548
>   {
>   vgPlain_fmsg("FMSG: (2712)\n");
>   }
11159a7550,7552
>   {
>   vgPlain_fmsg("FMSG: (2713)\n");
>   }
11160a7554,7556
>   {
>   vgPlain_fmsg("FMSG: (2714)\n");
>   }
11161a7558,7560
>   {
>   vgPlain_fmsg("FMSG: (2715)\n");
>   }
11162a7562,7564
>   {
>   vgPlain_fmsg("FMSG: (2716)\n");
>   }
11164c7566,7583
<   while ((UInt )r < n_tops) {
---
>   {
>   vgPlain_fmsg("FMSG: (2717)\n");
>   }
>   while (1) {
>     {
>     vgPlain_fmsg("FMSG: (2684)\n");
>     }
>     if ((UInt )r < n_tops) {
>       {
>       vgPlain_fmsg("FMSG: (2682)\n");
>       }
> 
>     } else {
>       break;
>     }
>     {
>     vgPlain_fmsg("FMSG: (2685)\n");
>     }
11167a7587,7589
>       {
>       vgPlain_fmsg("FMSG: (2683)\n");
>       }
11169a7592,7594
>     {
>     vgPlain_fmsg("FMSG: (2686)\n");
>     }
11170a7596,7598
>     {
>     vgPlain_fmsg("FMSG: (2687)\n");
>     }
11171a7600,7602
>     {
>     vgPlain_fmsg("FMSG: (2688)\n");
>     }
11172a7604,7606
>     {
>     vgPlain_fmsg("FMSG: (2689)\n");
>     }
11173a7608,7610
>     {
>     vgPlain_fmsg("FMSG: (2690)\n");
>     }
11174a7612,7614
>     {
>     vgPlain_fmsg("FMSG: (2691)\n");
>     }
11175a7616,7618
>     {
>     vgPlain_fmsg("FMSG: (2692)\n");
>     }
11176a7620,7622
>     {
>     vgPlain_fmsg("FMSG: (2693)\n");
>     }
11178,11179c7624,7637
<     vgPlain_printf("=-=-=-=-=-=-=-=-=-=-=-=-=-= begin BB rank %d =-=-=-=-=-=-=-=-=-=-=-=-=-=\n\n", r);
<     vgPlain_printf("%3d: (%9lld %s)   %9lld %s      0x%llx %s\n", r, score_cumul, buf_cumul, score_here, buf_here, (tops + r)->addr, name);
---
>     {
>     vgPlain_fmsg("FMSG: (2694)\n");
>     }
>     vgPlain_printf("=-=-=-=-=-=-=-=-=-=-=-=-=-= begin BB rank %d =-=-=-=-=-=-=-=-=-=-=-=-=-=\n\n",
>                    r);
>     {
>     vgPlain_fmsg("FMSG: (2695)\n");
>     }
>     vgPlain_printf("%3d: (%9lld %s)   %9lld %s      0x%llx %s\n", r,
>                    score_cumul, buf_cumul, score_here, buf_here,
>                    (tops + r)->addr, name);
>     {
>     vgPlain_fmsg("FMSG: (2696)\n");
>     }
11180a7639,7641
>     {
>     vgPlain_fmsg("FMSG: (2697)\n");
>     }
11182,11183c7643,7655
<     vgPlain_translate(0U, (tops + r)->addr, (unsigned char)1, (int )vgPlain_clo_profile_flags, 0ULL, (unsigned char)1);
<     vgPlain_printf("=-=-=-=-=-=-=-=-=-=-=-=-=-=  end BB rank %d  =-=-=-=-=-=-=-=-=-=-=-=-=-=\n\n", r);
---
>     {
>     vgPlain_fmsg("FMSG: (2698)\n");
>     }
>     vgPlain_translate(0U, (tops + r)->addr, (unsigned char)1,
>                       (int )vgPlain_clo_profile_flags, 0ULL, (unsigned char)1);
>     {
>     vgPlain_fmsg("FMSG: (2699)\n");
>     }
>     vgPlain_printf("=-=-=-=-=-=-=-=-=-=-=-=-=-=  end BB rank %d  =-=-=-=-=-=-=-=-=-=-=-=-=-=\n\n",
>                    r);
>     {
>     vgPlain_fmsg("FMSG: (2700)\n");
>     }
11186a7659,7661
>   {
>   vgPlain_fmsg("FMSG: (2718)\n");
>   }
11187a7663,7665
>   {
>   vgPlain_fmsg("FMSG: (2719)\n");
>   }
11188a7667,7669
>   {
>   vgPlain_fmsg("FMSG: (2720)\n");
>   }
11189a7671,7673
>   {
>   vgPlain_fmsg("FMSG: (2721)\n");
>   }
11190a7675,7677
>   {
>   vgPlain_fmsg("FMSG: (2722)\n");
>   }
11191a7679,7681
>   {
>   vgPlain_fmsg("FMSG: (2723)\n");
>   }
11199c7689,7690
< static void shutdown_actions_NORETURN(ThreadId tid , VgSchedReturnCode tids_schedretcode ) ;
---
> static void shutdown_actions_NORETURN(ThreadId tid ,
>                                       VgSchedReturnCode tids_schedretcode ) ;
15081,15145d11571
< void *memcpy(void *dest , void const   *src , SizeT n ) ;
< void *memcpy(void *dest , void const   *src , SizeT n ) 
< { void *tmp ;
< 
<   {
<   {
< 
<   }
<   {
<   vgPlain_fmsg("FMSG: (3481)\n");
<   }
<   tmp = vgPlain_memcpy(dest, src, n);
<   {
<   vgPlain_fmsg("FMSG: (3482)\n");
<   }
<   return (tmp);
< }
< }
< void *memset(void *s , int c , SizeT n ) ;
< void *memset(void *s , int c , SizeT n ) 
< { void *tmp ;
< 
<   {
<   tmp = vgPlain_memset(s, c, n);
<   return (tmp);
< }
< }
< void abort(void) ;
< void abort(void) 
< { long tmp ;
< 
<   {
<   {
< 
<   }
<   {
<   vgPlain_fmsg("FMSG: (3487)\n");
<   }
<   vgPlain_printf("Something called raise().\n");
<   {
<   vgPlain_fmsg("FMSG: (3488)\n");
<   }
<   tmp = __builtin_expect(0L, 1L);
<   {
<   vgPlain_fmsg("FMSG: (3489)\n");
<   }
<   if (tmp) {
<     {
<     vgPlain_fmsg("FMSG: (3485)\n");
<     }
< 
<   } else {
<     {
<     vgPlain_fmsg("FMSG: (3486)\n");
<     }
<     vgPlain_assert_fail((unsigned char)1, (Char const   *)"0",
<                         (Char const   *)"m_main.c", 2658,
<                         (Char const   *)"abort", "");
<   }
<   {
<   vgPlain_fmsg("FMSG: (3490)\n");
<   }
<   return;
< }
< }
