356#line 28
357 tmp___1 = getEmailSignKey(msg);
358#line 28
359 tmp___2 = isKeyPairValid(tmp___1, pubkey);
360 }
361#line 28
362 if (tmp___2) {
363
364 } else {
365 {
366#line 29
367 __automaton_fail();
368 }
369 }
370 }
371 } else {
372
373 }
374#line 29
375 return;
376}
377}
378#line 1 "wsllib_check.o"
379#pragma merger(0,"wsllib_check.i","")
380#line 3 "wsllib_check.c"
381void __automaton_fail(void)
382{
383
384 {
385 goto ERROR;
386 ERROR: ;
387#line 53 "wsllib_check.c"
388 return;
389}
390}
391#line 1 "libacc.o"
392#pragma merger(0,"libacc.i","")
393#line 73 "/usr/include/assert.h"
394extern __attribute__((__nothrow__, __noreturn__)) void __assert_fail(char const *__assertion ,
395 char const *__file ,
396 unsigned int __line ,