176     The following functions are not defined or handled internally: fopen, fclose, feof
     26     The following functions are not defined or handled internally: __VERIFIER_nondet_sector_t
     24     The following functions are not defined or handled internally: ____ilog2_NaN
     18     The following functions are not defined or handled internally: fopen
     13     The following functions are not defined or handled internally: pthread_detach
      6     The following functions are not defined or handled internally: swprintf, sprintf
      4     The following functions are not defined or handled internally: swprintf
      4     The following functions are not defined or handled internally: sleep
      3     The following functions are not defined or handled internally: strerror, sleep
      2     The following functions are not defined or handled internally: smp_send_req, toupper, sprintf
      2     The following functions are not defined or handled internally: read
      2     The following functions are not defined or handled internally: addrcmp
      2     283  The following fun...  [2023-12-06 21:28:52,121 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: __VERIFIER_nondet_sector_t:
      1     The following functions are not defined or handled internally: __VERIFIER_nondet_unsigned_char
      1     The following functions are not defined or handled internally: __VERIFIER_nondet_charp
      1     The following functions are not defined or handled internally: __sync_fetch_and_add
      1 [2023-12-06 21:32:25,244 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen
      1 [2023-12-06 21:32:25,142 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen
      1 [2023-12-06 21:32:25,044 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen
      1 [2023-12-06 21:32:24,906 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen
      1 [2023-12-06 21:32:24,793 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen
      1 [2023-12-06 21:31:37,086 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: read
      1 [2023-12-06 21:30:59,938 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: swprintf, sprintf
      1 [2023-12-06 21:30:58,963 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: swprintf, sprintf
      1 [2023-12-06 21:30:55,865 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: swprintf, sprintf
      1 [2023-12-06 21:30:54,688 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: swprintf
      1 [2023-12-06 21:30:54,001 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: swprintf
      1 [2023-12-06 21:30:46,332 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: addrcmp
      1 [2023-12-06 21:30:24,160 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: smp_send_req, toupper, sprintf
      1 [2023-12-06 21:28:52,121 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: __VERIFIER_nondet_sector_t
      1 [2023-12-06 21:28:50,710 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: __VERIFIER_nondet_sector_t
      1 [2023-12-06 21:28:49,081 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: __VERIFIER_nondet_sector_t
      1 [2023-12-06 21:28:40,736 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: __VERIFIER_nondet_sector_t
      1 [2023-12-06 21:28:39,914 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: __VERIFIER_nondet_sector_t
      1 [2023-12-06 21:28:39,607 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: __VERIFIER_nondet_sector_t
      1 [2023-12-06 21:28:39,432 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: __VERIFIER_nondet_sector_t
      1 [2023-12-06 21:28:39,353 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: __VERIFIER_nondet_sector_t
      1 [2023-12-06 21:28:39,087 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: __VERIFIER_nondet_sector_t
      1 [2023-12-06 21:28:38,881 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: __VERIFIER_nondet_sector_t
      1 [2023-12-06 21:28:38,798 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: __VERIFIER_nondet_sector_t
      1 [2023-12-06 21:28:38,635 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: __VERIFIER_nondet_sector_t
      1 [2023-12-06 21:28:37,893 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: __VERIFIER_nondet_sector_t
      1 [2023-12-06 21:20:45,410 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: pthread_detach
      1 [2023-12-06 21:20:44,354 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: pthread_detach
      1 [2023-12-06 21:20:44,069 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: pthread_detach
      1 [2023-12-06 21:20:43,883 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: pthread_detach
      1 [2023-12-06 21:20:42,914 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: pthread_detach
      1 [2023-12-06 21:20:39,868 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: pthread_detach
      1 [2023-12-06 21:20:39,584 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: pthread_detach
      1 [2023-12-06 21:20:38,580 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: pthread_detach
      1 [2023-12-06 21:20:38,553 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: pthread_detach
      1 [2023-12-06 21:20:38,161 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: pthread_detach
      1 [2023-12-06 21:20:37,888 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: pthread_detach
      1 [2023-12-06 21:20:37,357 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: pthread_detach
      1 [2023-12-06 21:20:37,216 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: pthread_detach
      1 [2023-12-06 21:20:13,762 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: __sync_fetch_and_add
      1 [2023-12-06 21:17:48,725 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: sleep
      1 [2023-12-06 21:17:48,686 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: sleep
      1 [2023-12-06 21:17:48,480 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: sleep
      1 [2023-12-06 21:17:26,770 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: sleep
      1 [2023-12-06 21:16:49,367 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: strerror, sleep
      1 [2023-12-06 21:16:49,146 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: strerror, sleep
      1 [2023-12-06 21:16:46,691 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: strerror, sleep
      1 [2023-12-06 21:16:21,760 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: ____ilog2_NaN
      1 [2023-12-06 21:16:21,666 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: ____ilog2_NaN
      1 [2023-12-06 21:16:21,661 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: ____ilog2_NaN
      1 [2023-12-06 21:16:21,168 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: ____ilog2_NaN
      1 [2023-12-06 21:16:20,922 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: ____ilog2_NaN
      1 [2023-12-06 21:16:20,840 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: ____ilog2_NaN
      1 [2023-12-06 21:16:20,580 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: ____ilog2_NaN
      1 [2023-12-06 21:16:20,008 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: ____ilog2_NaN
      1 [2023-12-06 21:16:19,864 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: ____ilog2_NaN
      1 [2023-12-06 21:16:19,635 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: ____ilog2_NaN
      1 [2023-12-06 21:16:19,189 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: ____ilog2_NaN
      1 [2023-12-06 21:16:05,775 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: ____ilog2_NaN
      1 [2023-12-06 21:16:05,083 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: ____ilog2_NaN
      1 [2023-12-06 21:16:04,363 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: ____ilog2_NaN
      1 [2023-12-06 21:16:03,867 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: ____ilog2_NaN
      1 [2023-12-06 21:16:02,893 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: ____ilog2_NaN
      1 [2023-12-06 21:16:01,136 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: ____ilog2_NaN
      1 [2023-12-06 21:16:00,746 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: ____ilog2_NaN
      1 [2023-12-06 21:15:59,893 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: ____ilog2_NaN
      1 [2023-12-06 21:15:59,879 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: ____ilog2_NaN
      1 [2023-12-06 21:15:59,770 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: ____ilog2_NaN
      1 [2023-12-06 21:15:59,638 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: ____ilog2_NaN
      1 [2023-12-06 21:15:59,281 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: ____ilog2_NaN
      1 [2023-12-06 21:15:59,000 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: ____ilog2_NaN
      1 [2023-12-06 20:52:30,162 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen
      1 [2023-12-06 20:52:28,490 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen
      1 [2023-12-06 20:51:54,912 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: addrcmp
      1 [2023-12-06 20:51:33,938 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: smp_send_req, toupper, sprintf
      1 [2023-12-06 20:51:29,839 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen
      1 [2023-12-06 20:51:29,635 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen
      1 [2023-12-06 20:51:29,409 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen
      1 [2023-12-06 20:51:29,275 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen
      1 [2023-12-06 20:51:29,177 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen
      1 [2023-12-06 20:51:28,974 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen
      1 [2023-12-06 20:51:27,935 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen
      1 [2023-12-06 20:51:27,503 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen
      1 [2023-12-06 20:51:27,416 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen
      1 [2023-12-06 20:51:20,461 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen
      1 [2023-12-06 20:51:19,739 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen
      1 [2023-12-06 20:49:27,830 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: __VERIFIER_nondet_charp
      1 [2023-12-06 20:49:23,038 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: __VERIFIER_nondet_sector_t
      1 [2023-12-06 20:48:28,468 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: __VERIFIER_nondet_sector_t
      1 [2023-12-06 20:48:25,090 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: __VERIFIER_nondet_sector_t
      1 [2023-12-06 20:48:24,636 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: __VERIFIER_nondet_sector_t
      1 [2023-12-06 20:48:22,536 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: __VERIFIER_nondet_sector_t
      1 [2023-12-06 20:48:21,495 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: __VERIFIER_nondet_sector_t
      1 [2023-12-06 20:48:19,255 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: __VERIFIER_nondet_sector_t
      1 [2023-12-06 20:48:19,077 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: __VERIFIER_nondet_sector_t
      1 [2023-12-06 20:48:19,054 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: __VERIFIER_nondet_sector_t
      1 [2023-12-06 20:48:19,032 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: __VERIFIER_nondet_sector_t
      1 [2023-12-06 20:48:19,016 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: __VERIFIER_nondet_sector_t
      1 [2023-12-06 20:48:18,966 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: __VERIFIER_nondet_sector_t
      1 [2023-12-06 20:48:17,510 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: __VERIFIER_nondet_sector_t
      1 [2023-12-06 20:47:50,702 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:47:30,038 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: read
      1 [2023-12-06 20:47:09,009 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:47:06,998 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:47:06,091 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:47:04,970 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:47:03,774 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:47:03,655 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:47:02,556 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:47:02,452 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:47:01,546 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:47:00,742 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:46:57,883 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:46:56,206 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:46:55,681 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:46:55,531 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:46:55,351 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:46:52,191 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:46:50,621 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:46:50,175 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:46:49,847 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:46:48,662 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:46:47,882 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:46:47,806 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:46:47,436 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:46:46,884 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:46:46,672 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:46:45,831 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:46:44,739 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:46:44,500 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:46:44,343 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:46:36,469 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:46:35,619 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:46:34,480 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:46:34,162 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:46:32,196 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:46:31,764 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:46:31,479 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:46:30,824 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:46:29,476 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:46:26,942 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:46:23,683 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:46:21,632 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:46:17,541 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:46:14,866 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:46:13,795 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:46:13,740 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:46:11,905 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:46:11,612 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:46:11,383 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:46:11,135 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:46:10,545 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:46:10,314 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:46:09,765 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:46:06,554 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:46:06,323 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:46:05,901 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:46:02,617 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:46:00,380 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:46:00,312 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:45:59,715 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:45:59,436 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:45:59,189 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:45:57,326 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:45:57,048 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:45:56,273 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:45:55,982 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:45:55,105 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:45:54,800 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:45:54,793 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:45:51,546 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:45:49,690 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:45:48,290 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:45:47,523 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:45:47,159 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:45:47,119 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:45:43,862 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:45:42,738 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:45:42,200 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:45:41,418 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:45:39,203 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:45:09,846 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:45:07,688 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:45:07,299 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:45:06,760 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:45:05,053 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:45:02,677 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:45:01,261 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:44:57,342 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:44:56,933 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:44:55,116 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:44:54,645 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:44:54,597 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:44:53,862 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:44:53,750 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:44:53,723 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:44:53,609 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:44:52,523 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:44:51,632 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:44:51,376 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:44:50,518 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:44:49,307 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:44:48,414 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:44:48,351 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:44:48,255 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:44:47,484 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:44:47,119 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:44:46,882 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:44:46,242 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:44:45,932 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:44:45,757 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:44:45,488 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:44:42,461 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:44:41,352 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:44:39,185 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:44:36,404 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:44:35,874 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:44:35,757 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:44:35,175 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:44:33,708 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:44:33,330 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:44:32,085 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:44:31,448 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:44:30,899 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:44:30,717 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:44:30,305 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:44:30,282 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:44:30,141 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:44:29,971 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:44:29,963 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:44:29,840 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:44:29,559 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:44:28,114 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:44:28,101 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:44:27,809 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:44:27,785 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:44:27,651 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:44:27,427 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:44:25,849 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:44:23,450 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:44:15,927 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:44:15,639 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:44:15,282 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:44:15,263 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:44:14,722 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:44:13,420 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:44:12,753 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:44:10,636 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:44:10,271 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:44:10,223 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:44:09,687 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:44:09,490 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:44:09,349 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:44:09,281 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:44:09,104 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:44:08,849 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:44:08,741 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:44:08,686 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:44:07,765 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:44:07,316 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:44:05,861 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:44:05,314 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:44:04,862 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:44:03,687 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:43:59,751 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:43:58,750 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:43:57,744 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:43:57,201 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:43:57,116 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:43:56,579 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:43:55,419 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:43:54,474 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:43:54,293 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:43:53,530 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:43:53,469 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:43:53,360 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:43:52,997 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: fopen, fclose, feof
      1 [2023-12-06 20:34:37,329 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: __VERIFIER_nondet_unsigned_char
      1 [2023-12-06 20:05:01,105 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: swprintf, sprintf
      1 [2023-12-06 20:04:59,086 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: swprintf, sprintf
      1 [2023-12-06 20:04:50,439 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: swprintf, sprintf
      1 [2023-12-06 20:04:49,218 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: swprintf
      1 [2023-12-06 20:04:46,994 ERROR L324         MainTranslator]: Unsupported Syntax: The following functions are not defined or handled internally: swprintf