588 {
589#line 167
590 tmp___3 = getEmailSignKey(msg);
591#line 167
592 tmp___4 = isKeyPairValid(tmp___3, pubkey);
593 }
594#line 167
595 if (tmp___4) {
596 {
597#line 168
598 setEmailIsSignatureVerified(msg, 1);
599 }
600 } else {
601
602 }
603 } else {
604
605 }
606#line 1213 "Client.c"
607 return;
608}
609}
610#line 1 "wsllib_check.o"
611#pragma merger(0,"wsllib_check.i","")
612#line 3 "wsllib_check.c"
613void __automaton_fail(void)
614{
615
616 {
617 goto ERROR;
618 ERROR: ;
619#line 53 "wsllib_check.c"
620 return;
621}
622}
623#line 1 "SignVerify_spec.o"
624#pragma merger(0,"SignVerify_spec.i","")
625#line 9 "SignVerify_spec.c"
626int sent_signed = -1;
627#line 13 "SignVerify_spec.c"
628void __utac_acc__SignVerify_spec__1(int msg )