Stderr output

<core_client_version>8.2.8</core_client_version>
<![CDATA[
<message>
too many boinc_temporary_exit()s</message>
<stderr_txt>
BOINC client version 8.2.8
Application: period_search_10220_windows_x86_64__win10.exe
Version: 102.20.1.1
CPU: AMD Ryzen 7 9700X 8-Core Processor             
RAM: 31.11 GB
Using AVX512 SIMD optimizations.
CPU: AMD Ryzen 7 9700X 8-Core Processor             
RAM: 31.11 GB
Using AVX512 SIMD optimizations.
CPU: AMD Ryzen 7 9700X 8-Core Processor             
RAM: 31.11 GB
Using AVX512 SIMD optimizations.
CPU: AMD Ryzen 7 9700X 8-Core Processor             
RAM: 31.11 GB
Using AVX512 SIMD optimizations.
20:27:18 (7048): BOINC client no longer exists - exiting
20:27:18 (7048): timer handler: client dead, exiting
CPU: AMD Ryzen 7 9700X 8-Core Processor             
RAM: 31.11 GB
Using AVX512 SIMD optimizations.
20:32:42 (9268): Can't acquire lockfile (32) - waiting 35s
20:33:17 (9268): Can't acquire lockfile (32) - exiting
20:33:17 (9268): Error: The process cannot access the file because it is being used by another process.

 (0x20)
20:53:12 (16016): Can't acquire lockfile (32) - waiting 35s
20:53:47 (16016): Can't acquire lockfile (32) - exiting
20:53:47 (16016): Error: The process cannot access the file because it is being used by another process.

 (0x20)
21:03:49 (14660): Can't acquire lockfile (32) - waiting 35s
21:04:24 (14660): Can't acquire lockfile (32) - exiting
21:04:24 (14660): Error: The process cannot access the file because it is being used by another process.

 (0x20)
21:25:53 (14876): Can't acquire lockfile (32) - waiting 35s
21:26:28 (14876): Can't acquire lockfile (32) - exiting
21:26:28 (14876): Error: The process cannot access the file because it is being used by another process.

 (0x20)
21:54:21 (6084): Can't acquire lockfile (32) - waiting 35s
21:54:56 (6084): Can't acquire lockfile (32) - exiting
21:54:56 (6084): Error: The process cannot access the file because it is being used by another process.

 (0x20)
22:08:05 (15728): Can't acquire lockfile (32) - waiting 35s
22:08:40 (15728): Can't acquire lockfile (32) - exiting
22:08:40 (15728): Error: The process cannot access the file because it is being used by another process.

 (0x20)
22:19:39 (25316): Can't acquire lockfile (32) - waiting 35s
22:20:14 (25316): Can't acquire lockfile (32) - exiting
22:20:14 (25316): Error: The process cannot access the file because it is being used by another process.

 (0x20)
22:39:34 (24408): Can't acquire lockfile (32) - waiting 35s
22:40:09 (24408): Can't acquire lockfile (32) - exiting
22:40:09 (24408): Error: The process cannot access the file because it is being used by another process.

 (0x20)
22:50:42 (16032): Can't acquire lockfile (32) - waiting 35s
22:51:17 (16032): Can't acquire lockfile (32) - exiting
22:51:17 (16032): Error: The process cannot access the file because it is being used by another process.

 (0x20)
23:10:25 (5436): Can't acquire lockfile (32) - waiting 35s
23:11:00 (5436): Can't acquire lockfile (32) - exiting
23:11:00 (5436): Error: The process cannot access the file because it is being used by another process.

 (0x20)
23:22:54 (1852): Can't acquire lockfile (32) - waiting 35s
23:23:29 (1852): Can't acquire lockfile (32) - exiting
23:23:29 (1852): Error: The process cannot access the file because it is being used by another process.

 (0x20)
23:38:19 (7036): Can't acquire lockfile (32) - waiting 35s
23:38:54 (7036): Can't acquire lockfile (32) - exiting
23:38:54 (7036): Error: The process cannot access the file because it is being used by another process.

 (0x20)
23:51:52 (22952): Can't acquire lockfile (32) - waiting 35s
23:52:27 (22952): Can't acquire lockfile (32) - exiting
23:52:27 (22952): Error: The process cannot access the file because it is being used by another process.

 (0x20)
00:02:53 (5956): Can't acquire lockfile (32) - waiting 35s
00:03:28 (5956): Can't acquire lockfile (32) - exiting
00:03:28 (5956): Error: The process cannot access the file because it is being used by another process.

 (0x20)
00:25:28 (25196): Can't acquire lockfile (32) - waiting 35s
00:26:03 (25196): Can't acquire lockfile (32) - exiting
00:26:03 (25196): Error: The process cannot access the file because it is being used by another process.

 (0x20)
00:52:50 (11868): Can't acquire lockfile (32) - waiting 35s
00:53:25 (11868): Can't acquire lockfile (32) - exiting
00:53:25 (11868): Error: The process cannot access the file because it is being used by another process.

 (0x20)
01:11:08 (24932): Can't acquire lockfile (32) - waiting 35s
01:11:43 (24932): Can't acquire lockfile (32) - exiting
01:11:43 (24932): Error: The process cannot access the file because it is being used by another process.

 (0x20)
01:21:55 (3204): Can't acquire lockfile (32) - waiting 35s
01:22:30 (3204): Can't acquire lockfile (32) - exiting
01:22:30 (3204): Error: The process cannot access the file because it is being used by another process.

 (0x20)
01:45:10 (16908): Can't acquire lockfile (32) - waiting 35s
01:45:45 (16908): Can't acquire lockfile (32) - exiting
01:45:45 (16908): Error: The process cannot access the file because it is being used by another process.

 (0x20)
02:08:33 (14344): Can't acquire lockfile (32) - waiting 35s
02:09:08 (14344): Can't acquire lockfile (32) - exiting
02:09:08 (14344): Error: The process cannot access the file because it is being used by another process.

 (0x20)
02:23:45 (16008): Can't acquire lockfile (32) - waiting 35s
02:24:20 (16008): Can't acquire lockfile (32) - exiting
02:24:20 (16008): Error: The process cannot access the file because it is being used by another process.

 (0x20)
02:35:11 (8740): Can't acquire lockfile (32) - waiting 35s
02:35:46 (8740): Can't acquire lockfile (32) - exiting
02:35:46 (8740): Error: The process cannot access the file because it is being used by another process.

 (0x20)
03:02:47 (5216): Can't acquire lockfile (32) - waiting 35s
03:03:22 (5216): Can't acquire lockfile (32) - exiting
03:03:22 (5216): Error: The process cannot access the file because it is being used by another process.

 (0x20)
03:17:08 (16260): Can't acquire lockfile (32) - waiting 35s
03:17:43 (16260): Can't acquire lockfile (32) - exiting
03:17:43 (16260): Error: The process cannot access the file because it is being used by another process.

 (0x20)
03:30:48 (5132): Can't acquire lockfile (32) - waiting 35s
03:31:23 (5132): Can't acquire lockfile (32) - exiting
03:31:23 (5132): Error: The process cannot access the file because it is being used by another process.

 (0x20)
03:47:40 (23936): Can't acquire lockfile (32) - waiting 35s
03:48:15 (23936): Can't acquire lockfile (32) - exiting
03:48:15 (23936): Error: The process cannot access the file because it is being used by another process.

 (0x20)
03:58:15 (13068): Can't acquire lockfile (32) - waiting 35s
03:58:50 (13068): Can't acquire lockfile (32) - exiting
03:58:50 (13068): Error: The process cannot access the file because it is being used by another process.

 (0x20)
04:18:33 (16088): Can't acquire lockfile (32) - waiting 35s
04:19:08 (16088): Can't acquire lockfile (32) - exiting
04:19:08 (16088): Error: The process cannot access the file because it is being used by another process.

 (0x20)
04:30:33 (25228): Can't acquire lockfile (32) - waiting 35s
04:31:08 (25228): Can't acquire lockfile (32) - exiting
04:31:08 (25228): Error: The process cannot access the file because it is being used by another process.

 (0x20)
04:46:13 (18656): Can't acquire lockfile (32) - waiting 35s
04:46:48 (18656): Can't acquire lockfile (32) - exiting
04:46:48 (18656): Error: The process cannot access the file because it is being used by another process.

 (0x20)
05:13:13 (6464): Can't acquire lockfile (32) - waiting 35s
05:13:48 (6464): Can't acquire lockfile (32) - exiting
05:13:48 (6464): Error: The process cannot access the file because it is being used by another process.

 (0x20)
05:34:35 (21316): Can't acquire lockfile (32) - waiting 35s
05:35:10 (21316): Can't acquire lockfile (32) - exiting
05:35:10 (21316): Error: The process cannot access the file because it is being used by another process.

 (0x20)
05:47:38 (20536): Can't acquire lockfile (32) - waiting 35s
05:48:13 (20536): Can't acquire lockfile (32) - exiting
05:48:13 (20536): Error: The process cannot access the file because it is being used by another process.

 (0x20)
06:05:05 (25088): Can't acquire lockfile (32) - waiting 35s
06:05:40 (25088): Can't acquire lockfile (32) - exiting
06:05:40 (25088): Error: The process cannot access the file because it is being used by another process.

 (0x20)
06:18:50 (13492): Can't acquire lockfile (32) - waiting 35s
06:19:25 (13492): Can't acquire lockfile (32) - exiting
06:19:25 (13492): Error: The process cannot access the file because it is being used by another process.

 (0x20)
06:30:46 (24356): Can't acquire lockfile (32) - waiting 35s
06:31:21 (24356): Can't acquire lockfile (32) - exiting
06:31:21 (24356): Error: The process cannot access the file because it is being used by another process.

 (0x20)
06:45:33 (18160): Can't acquire lockfile (32) - waiting 35s
06:46:08 (18160): Can't acquire lockfile (32) - exiting
06:46:08 (18160): Error: The process cannot access the file because it is being used by another process.

 (0x20)
06:56:25 (5216): Can't acquire lockfile (32) - waiting 35s
06:57:00 (5216): Can't acquire lockfile (32) - exiting
06:57:00 (5216): Error: The process cannot access the file because it is being used by another process.

 (0x20)
07:12:28 (24360): Can't acquire lockfile (32) - waiting 35s
07:13:03 (24360): Can't acquire lockfile (32) - exiting
07:13:03 (24360): Error: The process cannot access the file because it is being used by another process.

 (0x20)
07:23:11 (24988): Can't acquire lockfile (32) - waiting 35s
07:23:46 (24988): Can't acquire lockfile (32) - exiting
07:23:46 (24988): Error: The process cannot access the file because it is being used by another process.

 (0x20)
07:34:25 (15660): Can't acquire lockfile (32) - waiting 35s
07:35:00 (15660): Can't acquire lockfile (32) - exiting
07:35:00 (15660): Error: The process cannot access the file because it is being used by another process.

 (0x20)
07:45:16 (11748): Can't acquire lockfile (32) - waiting 35s
07:45:51 (11748): Can't acquire lockfile (32) - exiting
07:45:51 (11748): Error: The process cannot access the file because it is being used by another process.

 (0x20)
08:05:23 (13356): Can't acquire lockfile (32) - waiting 35s
08:05:58 (13356): Can't acquire lockfile (32) - exiting
08:05:58 (13356): Error: The process cannot access the file because it is being used by another process.

 (0x20)
08:16:15 (3020): Can't acquire lockfile (32) - waiting 35s
08:16:50 (3020): Can't acquire lockfile (32) - exiting
08:16:50 (3020): Error: The process cannot access the file because it is being used by another process.

 (0x20)
20:41:02 (8652): Can't acquire lockfile (32) - waiting 35s
20:41:37 (8652): Can't acquire lockfile (32) - exiting
20:41:37 (8652): Error: The process cannot access the file because it is being used by another process.

 (0x20)
20:53:54 (12364): Can't acquire lockfile (32) - waiting 35s
20:54:29 (12364): Can't acquire lockfile (32) - exiting
20:54:29 (12364): Error: The process cannot access the file because it is being used by another process.

 (0x20)
21:06:26 (13592): Can't acquire lockfile (32) - waiting 35s
21:07:01 (13592): Can't acquire lockfile (32) - exiting
21:07:01 (13592): Error: The process cannot access the file because it is being used by another process.

 (0x20)
21:22:13 (10320): Can't acquire lockfile (32) - waiting 35s
21:22:48 (10320): Can't acquire lockfile (32) - exiting
21:22:48 (10320): Error: The process cannot access the file because it is being used by another process.

 (0x20)
21:34:34 (14224): Can't acquire lockfile (32) - waiting 35s
21:35:09 (14224): Can't acquire lockfile (32) - exiting
21:35:09 (14224): Error: The process cannot access the file because it is being used by another process.

 (0x20)
21:51:09 (16616): Can't acquire lockfile (32) - waiting 35s
21:51:44 (16616): Can't acquire lockfile (32) - exiting
21:51:44 (16616): Error: The process cannot access the file because it is being used by another process.

 (0x20)
22:01:46 (7840): Can't acquire lockfile (32) - waiting 35s
22:02:21 (7840): Can't acquire lockfile (32) - exiting
22:02:21 (7840): Error: The process cannot access the file because it is being used by another process.

 (0x20)
22:18:39 (25504): Can't acquire lockfile (32) - waiting 35s
22:19:14 (25504): Can't acquire lockfile (32) - exiting
22:19:14 (25504): Error: The process cannot access the file because it is being used by another process.

 (0x20)
22:29:35 (9476): Can't acquire lockfile (32) - waiting 35s
22:30:10 (9476): Can't acquire lockfile (32) - exiting
22:30:10 (9476): Error: The process cannot access the file because it is being used by another process.

 (0x20)
22:44:47 (22692): Can't acquire lockfile (32) - waiting 35s
22:45:22 (22692): Can't acquire lockfile (32) - exiting
22:45:22 (22692): Error: The process cannot access the file because it is being used by another process.

 (0x20)
22:56:06 (14584): Can't acquire lockfile (32) - waiting 35s
22:56:41 (14584): Can't acquire lockfile (32) - exiting
22:56:41 (14584): Error: The process cannot access the file because it is being used by another process.

 (0x20)
01:14:38 (24760): Can't acquire lockfile (32) - waiting 35s
01:15:13 (24760): Can't acquire lockfile (32) - exiting
01:15:13 (24760): Error: The process cannot access the file because it is being used by another process.

 (0x20)
05:07:01 (11288): Can't acquire lockfile (32) - waiting 35s
05:07:36 (11288): Can't acquire lockfile (32) - exiting
05:07:36 (11288): Error: The process cannot access the file because it is being used by another process.

 (0x20)
09:29:53 (9120): Can't acquire lockfile (32) - waiting 35s
09:30:28 (9120): Can't acquire lockfile (32) - exiting
09:30:28 (9120): Error: The process cannot access the file because it is being used by another process.

 (0x20)
13:38:44 (18872): Can't acquire lockfile (32) - waiting 35s
13:39:19 (18872): Can't acquire lockfile (32) - exiting
13:39:19 (18872): Error: The process cannot access the file because it is being used by another process.

 (0x20)
13:50:16 (24292): Can't acquire lockfile (32) - waiting 35s
13:50:51 (24292): Can't acquire lockfile (32) - exiting
13:50:51 (24292): Error: The process cannot access the file because it is being used by another process.

 (0x20)
14:01:49 (23796): Can't acquire lockfile (32) - waiting 35s
14:02:24 (23796): Can't acquire lockfile (32) - exiting
14:02:24 (23796): Error: The process cannot access the file because it is being used by another process.

 (0x20)
14:12:28 (12176): Can't acquire lockfile (32) - waiting 35s
14:13:03 (12176): Can't acquire lockfile (32) - exiting
14:13:03 (12176): Error: The process cannot access the file because it is being used by another process.

 (0x20)
14:23:20 (12456): Can't acquire lockfile (32) - waiting 35s
14:23:55 (12456): Can't acquire lockfile (32) - exiting
14:23:55 (12456): Error: The process cannot access the file because it is being used by another process.

 (0x20)
14:34:06 (15724): Can't acquire lockfile (32) - waiting 35s
14:34:41 (15724): Can't acquire lockfile (32) - exiting
14:34:41 (15724): Error: The process cannot access the file because it is being used by another process.

 (0x20)
14:44:47 (10992): Can't acquire lockfile (32) - waiting 35s
14:45:22 (10992): Can't acquire lockfile (32) - exiting
14:45:22 (10992): Error: The process cannot access the file because it is being used by another process.

 (0x20)
14:55:28 (8652): Can't acquire lockfile (32) - waiting 35s
14:56:03 (8652): Can't acquire lockfile (32) - exiting
14:56:03 (8652): Error: The process cannot access the file because it is being used by another process.

 (0x20)
15:06:13 (22640): Can't acquire lockfile (32) - waiting 35s
15:06:48 (22640): Can't acquire lockfile (32) - exiting
15:06:48 (22640): Error: The process cannot access the file because it is being used by another process.

 (0x20)
15:16:54 (15080): Can't acquire lockfile (32) - waiting 35s
15:17:29 (15080): Can't acquire lockfile (32) - exiting
15:17:29 (15080): Error: The process cannot access the file because it is being used by another process.

 (0x20)
15:28:17 (22828): Can't acquire lockfile (32) - waiting 35s
15:28:52 (22828): Can't acquire lockfile (32) - exiting
15:28:52 (22828): Error: The process cannot access the file because it is being used by another process.

 (0x20)
15:39:22 (12260): Can't acquire lockfile (32) - waiting 35s
15:39:57 (12260): Can't acquire lockfile (32) - exiting
15:39:57 (12260): Error: The process cannot access the file because it is being used by another process.

 (0x20)
15:50:39 (5896): Can't acquire lockfile (32) - waiting 35s
15:51:14 (5896): Can't acquire lockfile (32) - exiting
15:51:14 (5896): Error: The process cannot access the file because it is being used by another process.

 (0x20)
16:02:09 (11688): Can't acquire lockfile (32) - waiting 35s
16:02:44 (11688): Can't acquire lockfile (32) - exiting
16:02:44 (11688): Error: The process cannot access the file because it is being used by another process.

 (0x20)
16:13:05 (16404): Can't acquire lockfile (32) - waiting 35s
16:13:40 (16404): Can't acquire lockfile (32) - exiting
16:13:40 (16404): Error: The process cannot access the file because it is being used by another process.

 (0x20)
16:24:01 (25532): Can't acquire lockfile (32) - waiting 35s
16:24:36 (25532): Can't acquire lockfile (32) - exiting
16:24:36 (25532): Error: The process cannot access the file because it is being used by another process.

 (0x20)
16:34:56 (12180): Can't acquire lockfile (32) - waiting 35s
16:35:31 (12180): Can't acquire lockfile (32) - exiting
16:35:31 (12180): Error: The process cannot access the file because it is being used by another process.

 (0x20)
16:45:52 (21952): Can't acquire lockfile (32) - waiting 35s
16:46:27 (21952): Can't acquire lockfile (32) - exiting
16:46:27 (21952): Error: The process cannot access the file because it is being used by another process.

 (0x20)
16:56:47 (13176): Can't acquire lockfile (32) - waiting 35s
16:57:22 (13176): Can't acquire lockfile (32) - exiting
16:57:22 (13176): Error: The process cannot access the file because it is being used by another process.

 (0x20)
17:07:28 (3612): Can't acquire lockfile (32) - waiting 35s
17:08:03 (3612): Can't acquire lockfile (32) - exiting
17:08:03 (3612): Error: The process cannot access the file because it is being used by another process.

 (0x20)
17:18:24 (16664): Can't acquire lockfile (32) - waiting 35s
17:18:59 (16664): Can't acquire lockfile (32) - exiting
17:18:59 (16664): Error: The process cannot access the file because it is being used by another process.

 (0x20)
17:29:19 (10580): Can't acquire lockfile (32) - waiting 35s
17:29:54 (10580): Can't acquire lockfile (32) - exiting
17:29:54 (10580): Error: The process cannot access the file because it is being used by another process.

 (0x20)
17:40:15 (10772): Can't acquire lockfile (32) - waiting 35s
17:40:50 (10772): Can't acquire lockfile (32) - exiting
17:40:50 (10772): Error: The process cannot access the file because it is being used by another process.

 (0x20)
17:51:05 (20880): Can't acquire lockfile (32) - waiting 35s
17:51:40 (20880): Can't acquire lockfile (32) - exiting
17:51:40 (20880): Error: The process cannot access the file because it is being used by another process.

 (0x20)
18:02:01 (24060): Can't acquire lockfile (32) - waiting 35s
18:02:36 (24060): Can't acquire lockfile (32) - exiting
18:02:36 (24060): Error: The process cannot access the file because it is being used by another process.

 (0x20)
18:12:56 (9592): Can't acquire lockfile (32) - waiting 35s
18:13:31 (9592): Can't acquire lockfile (32) - exiting
18:13:31 (9592): Error: The process cannot access the file because it is being used by another process.

 (0x20)
18:23:52 (7188): Can't acquire lockfile (32) - waiting 35s
18:24:27 (7188): Can't acquire lockfile (32) - exiting
18:24:27 (7188): Error: The process cannot access the file because it is being used by another process.

 (0x20)
18:34:47 (15000): Can't acquire lockfile (32) - waiting 35s
18:35:22 (15000): Can't acquire lockfile (32) - exiting
18:35:22 (15000): Error: The process cannot access the file because it is being used by another process.

 (0x20)
18:45:43 (22964): Can't acquire lockfile (32) - waiting 35s
18:46:18 (22964): Can't acquire lockfile (32) - exiting
18:46:18 (22964): Error: The process cannot access the file because it is being used by another process.

 (0x20)
18:57:05 (12492): Can't acquire lockfile (32) - waiting 35s
18:57:40 (12492): Can't acquire lockfile (32) - exiting
18:57:40 (12492): Error: The process cannot access the file because it is being used by another process.

 (0x20)
19:08:25 (18228): Can't acquire lockfile (32) - waiting 35s
19:09:00 (18228): Can't acquire lockfile (32) - exiting
19:09:00 (18228): Error: The process cannot access the file because it is being used by another process.

 (0x20)
19:19:11 (16680): Can't acquire lockfile (32) - waiting 35s
19:19:46 (16680): Can't acquire lockfile (32) - exiting
19:19:46 (16680): Error: The process cannot access the file because it is being used by another process.

 (0x20)
19:29:56 (13748): Can't acquire lockfile (32) - waiting 35s
19:30:31 (13748): Can't acquire lockfile (32) - exiting
19:30:31 (13748): Error: The process cannot access the file because it is being used by another process.

 (0x20)
19:40:42 (24092): Can't acquire lockfile (32) - waiting 35s
19:41:17 (24092): Can't acquire lockfile (32) - exiting
19:41:17 (24092): Error: The process cannot access the file because it is being used by another process.

 (0x20)
19:51:41 (14224): Can't acquire lockfile (32) - waiting 35s
19:52:16 (14224): Can't acquire lockfile (32) - exiting
19:52:16 (14224): Error: The process cannot access the file because it is being used by another process.

 (0x20)
20:02:27 (16252): Can't acquire lockfile (32) - waiting 35s
20:03:02 (16252): Can't acquire lockfile (32) - exiting
20:03:02 (16252): Error: The process cannot access the file because it is being used by another process.

 (0x20)
20:13:13 (6576): Can't acquire lockfile (32) - waiting 35s
20:13:48 (6576): Can't acquire lockfile (32) - exiting
20:13:48 (6576): Error: The process cannot access the file because it is being used by another process.

 (0x20)
20:23:58 (22652): Can't acquire lockfile (32) - waiting 35s
20:24:33 (22652): Can't acquire lockfile (32) - exiting
20:24:33 (22652): Error: The process cannot access the file because it is being used by another process.

 (0x20)
20:34:44 (22612): Can't acquire lockfile (32) - waiting 35s
20:35:19 (22612): Can't acquire lockfile (32) - exiting
20:35:19 (22612): Error: The process cannot access the file because it is being used by another process.

 (0x20)
20:45:29 (4816): Can't acquire lockfile (32) - waiting 35s
20:46:04 (4816): Can't acquire lockfile (32) - exiting
20:46:04 (4816): Error: The process cannot access the file because it is being used by another process.

 (0x20)
20:56:23 (18984): Can't acquire lockfile (32) - waiting 35s
20:56:58 (18984): Can't acquire lockfile (32) - exiting
20:56:58 (18984): Error: The process cannot access the file because it is being used by another process.

 (0x20)
21:07:53 (2840): Can't acquire lockfile (32) - waiting 35s
21:08:28 (2840): Can't acquire lockfile (32) - exiting
21:08:28 (2840): Error: The process cannot access the file because it is being used by another process.

 (0x20)
21:18:50 (25872): Can't acquire lockfile (32) - waiting 35s
21:19:25 (25872): Can't acquire lockfile (32) - exiting
21:19:25 (25872): Error: The process cannot access the file because it is being used by another process.

 (0x20)

</stderr_txt>
]]>