1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
|
# 1 "test_profiling.c"
# 1 "<built-in>"
# 1 "<command-line>"
# 1 "/usr/aarch64-linux-gnu/include/stdc-predef.h" 1 3
# 1 "<command-line>" 2
# 1 "test_profiling.c"
# 1 "/usr/aarch64-linux-gnu/include/stdlib.h" 1 3
# 25 "/usr/aarch64-linux-gnu/include/stdlib.h" 3
# 1 "/usr/aarch64-linux-gnu/include/bits/libc-header-start.h" 1 3
# 33 "/usr/aarch64-linux-gnu/include/bits/libc-header-start.h" 3
# 1 "/usr/aarch64-linux-gnu/include/features.h" 1 3
# 461 "/usr/aarch64-linux-gnu/include/features.h" 3
# 1 "/usr/aarch64-linux-gnu/include/sys/cdefs.h" 1 3
# 452 "/usr/aarch64-linux-gnu/include/sys/cdefs.h" 3
# 1 "/usr/aarch64-linux-gnu/include/bits/wordsize.h" 1 3
# 453 "/usr/aarch64-linux-gnu/include/sys/cdefs.h" 2 3
# 1 "/usr/aarch64-linux-gnu/include/bits/long-double.h" 1 3
# 454 "/usr/aarch64-linux-gnu/include/sys/cdefs.h" 2 3
# 462 "/usr/aarch64-linux-gnu/include/features.h" 2 3
# 485 "/usr/aarch64-linux-gnu/include/features.h" 3
# 1 "/usr/aarch64-linux-gnu/include/gnu/stubs.h" 1 3
# 1 "/usr/aarch64-linux-gnu/include/bits/wordsize.h" 1 3
# 6 "/usr/aarch64-linux-gnu/include/gnu/stubs.h" 2 3
# 1 "/usr/aarch64-linux-gnu/include/gnu/stubs-lp64.h" 1 3
# 9 "/usr/aarch64-linux-gnu/include/gnu/stubs.h" 2 3
# 486 "/usr/aarch64-linux-gnu/include/features.h" 2 3
# 34 "/usr/aarch64-linux-gnu/include/bits/libc-header-start.h" 2 3
# 26 "/usr/aarch64-linux-gnu/include/stdlib.h" 2 3
# 1 "/opt/CompCert/kvx-work/2021-04-12_e37d655d/aarch64-linux/lib/compcert/include/stddef.h" 1 3
# 67 "/opt/CompCert/kvx-work/2021-04-12_e37d655d/aarch64-linux/lib/compcert/include/stddef.h" 3
# 67 "/opt/CompCert/kvx-work/2021-04-12_e37d655d/aarch64-linux/lib/compcert/include/stddef.h" 3
typedef unsigned long size_t;
# 101 "/opt/CompCert/kvx-work/2021-04-12_e37d655d/aarch64-linux/lib/compcert/include/stddef.h" 3
typedef signed int wchar_t;
# 32 "/usr/aarch64-linux-gnu/include/stdlib.h" 2 3
# 55 "/usr/aarch64-linux-gnu/include/stdlib.h" 3
# 1 "/usr/aarch64-linux-gnu/include/bits/floatn.h" 1 3
# 23 "/usr/aarch64-linux-gnu/include/bits/floatn.h" 3
# 1 "/usr/aarch64-linux-gnu/include/bits/long-double.h" 1 3
# 24 "/usr/aarch64-linux-gnu/include/bits/floatn.h" 2 3
# 80 "/usr/aarch64-linux-gnu/include/bits/floatn.h" 3
typedef long double _Float128;
# 95 "/usr/aarch64-linux-gnu/include/bits/floatn.h" 3
# 1 "/usr/aarch64-linux-gnu/include/bits/floatn-common.h" 1 3
# 24 "/usr/aarch64-linux-gnu/include/bits/floatn-common.h" 3
# 1 "/usr/aarch64-linux-gnu/include/bits/long-double.h" 1 3
# 25 "/usr/aarch64-linux-gnu/include/bits/floatn-common.h" 2 3
# 214 "/usr/aarch64-linux-gnu/include/bits/floatn-common.h" 3
typedef float _Float32;
# 251 "/usr/aarch64-linux-gnu/include/bits/floatn-common.h" 3
typedef double _Float64;
# 268 "/usr/aarch64-linux-gnu/include/bits/floatn-common.h" 3
typedef double _Float32x;
# 285 "/usr/aarch64-linux-gnu/include/bits/floatn-common.h" 3
typedef long double _Float64x;
# 96 "/usr/aarch64-linux-gnu/include/bits/floatn.h" 2 3
# 56 "/usr/aarch64-linux-gnu/include/stdlib.h" 2 3
typedef struct
{
int quot;
int rem;
} div_t;
typedef struct
{
long int quot;
long int rem;
} ldiv_t;
typedef struct
{
long long int quot;
long long int rem;
} lldiv_t;
# 97 "/usr/aarch64-linux-gnu/include/stdlib.h" 3
extern size_t __ctype_get_mb_cur_max (void) ;
extern double atof (const char *__nptr)
;
extern int atoi (const char *__nptr)
;
extern long int atol (const char *__nptr)
;
extern long long int atoll (const char *__nptr)
;
extern double strtod (const char *restrict __nptr,
char **restrict __endptr)
;
extern float strtof (const char *restrict __nptr,
char **restrict __endptr) ;
extern long double strtold (const char *restrict __nptr,
char **restrict __endptr)
;
# 176 "/usr/aarch64-linux-gnu/include/stdlib.h" 3
extern long int strtol (const char *restrict __nptr,
char **restrict __endptr, int __base)
;
extern unsigned long int strtoul (const char *restrict __nptr,
char **restrict __endptr, int __base)
;
# 199 "/usr/aarch64-linux-gnu/include/stdlib.h" 3
extern long long int strtoll (const char *restrict __nptr,
char **restrict __endptr, int __base)
;
extern unsigned long long int strtoull (const char *restrict __nptr,
char **restrict __endptr, int __base)
;
# 453 "/usr/aarch64-linux-gnu/include/stdlib.h" 3
extern int rand (void) ;
extern void srand (unsigned int __seed) ;
# 539 "/usr/aarch64-linux-gnu/include/stdlib.h" 3
extern void *malloc (size_t __size)
;
extern void *calloc (size_t __nmemb, size_t __size)
;
extern void *realloc (void *__ptr, size_t __size)
;
# 565 "/usr/aarch64-linux-gnu/include/stdlib.h" 3
extern void free (void *__ptr) ;
# 591 "/usr/aarch64-linux-gnu/include/stdlib.h" 3
extern void abort (void) ;
extern int atexit (void (*__func) (void)) ;
# 617 "/usr/aarch64-linux-gnu/include/stdlib.h" 3
extern void exit (int __status) ;
# 629 "/usr/aarch64-linux-gnu/include/stdlib.h" 3
extern void _Exit (int __status) ;
extern char *getenv (const char *__name) ;
# 784 "/usr/aarch64-linux-gnu/include/stdlib.h" 3
extern int system (const char *__command) ;
# 808 "/usr/aarch64-linux-gnu/include/stdlib.h" 3
typedef int (*__compar_fn_t) (const void *, const void *);
# 820 "/usr/aarch64-linux-gnu/include/stdlib.h" 3
extern void *bsearch (const void *__key, const void *__base,
size_t __nmemb, size_t __size, __compar_fn_t __compar)
;
extern void qsort (void *__base, size_t __nmemb, size_t __size,
__compar_fn_t __compar) ;
# 840 "/usr/aarch64-linux-gnu/include/stdlib.h" 3
extern int abs (int __x) ;
extern long int labs (long int __x) ;
extern long long int llabs (long long int __x)
;
extern div_t div (int __numer, int __denom)
;
extern ldiv_t ldiv (long int __numer, long int __denom)
;
extern lldiv_t lldiv (long long int __numer,
long long int __denom)
;
# 922 "/usr/aarch64-linux-gnu/include/stdlib.h" 3
extern int mblen (const char *__s, size_t __n) ;
extern int mbtowc (wchar_t *restrict __pwc,
const char *restrict __s, size_t __n) ;
extern int wctomb (char *__s, wchar_t __wchar) ;
extern size_t mbstowcs (wchar_t *restrict __pwcs,
const char *restrict __s, size_t __n) ;
extern size_t wcstombs (char *restrict __s,
const wchar_t *restrict __pwcs, size_t __n)
;
# 1013 "/usr/aarch64-linux-gnu/include/stdlib.h" 3
# 1 "/usr/aarch64-linux-gnu/include/bits/stdlib-float.h" 1 3
# 1014 "/usr/aarch64-linux-gnu/include/stdlib.h" 2 3
# 1023 "/usr/aarch64-linux-gnu/include/stdlib.h" 3
# 2 "test_profiling.c" 2
# 1 "/usr/aarch64-linux-gnu/include/stdio.h" 1 3
# 27 "/usr/aarch64-linux-gnu/include/stdio.h" 3
# 1 "/usr/aarch64-linux-gnu/include/bits/libc-header-start.h" 1 3
# 28 "/usr/aarch64-linux-gnu/include/stdio.h" 2 3
# 1 "/opt/CompCert/kvx-work/2021-04-12_e37d655d/aarch64-linux/lib/compcert/include/stddef.h" 1 3
# 34 "/usr/aarch64-linux-gnu/include/stdio.h" 2 3
# 1 "/opt/CompCert/kvx-work/2021-04-12_e37d655d/aarch64-linux/lib/compcert/include/stdarg.h" 1 3
# 43 "/opt/CompCert/kvx-work/2021-04-12_e37d655d/aarch64-linux/lib/compcert/include/stdarg.h" 3
typedef __builtin_va_list __gnuc_va_list;
# 37 "/usr/aarch64-linux-gnu/include/stdio.h" 2 3
# 1 "/usr/aarch64-linux-gnu/include/bits/types.h" 1 3
# 27 "/usr/aarch64-linux-gnu/include/bits/types.h" 3
# 1 "/usr/aarch64-linux-gnu/include/bits/wordsize.h" 1 3
# 28 "/usr/aarch64-linux-gnu/include/bits/types.h" 2 3
# 1 "/usr/aarch64-linux-gnu/include/bits/timesize.h" 1 3
# 19 "/usr/aarch64-linux-gnu/include/bits/timesize.h" 3
# 1 "/usr/aarch64-linux-gnu/include/bits/wordsize.h" 1 3
# 20 "/usr/aarch64-linux-gnu/include/bits/timesize.h" 2 3
# 29 "/usr/aarch64-linux-gnu/include/bits/types.h" 2 3
typedef unsigned char __u_char;
typedef unsigned short int __u_short;
typedef unsigned int __u_int;
typedef unsigned long int __u_long;
typedef signed char __int8_t;
typedef unsigned char __uint8_t;
typedef signed short int __int16_t;
typedef unsigned short int __uint16_t;
typedef signed int __int32_t;
typedef unsigned int __uint32_t;
typedef signed long int __int64_t;
typedef unsigned long int __uint64_t;
typedef __int8_t __int_least8_t;
typedef __uint8_t __uint_least8_t;
typedef __int16_t __int_least16_t;
typedef __uint16_t __uint_least16_t;
typedef __int32_t __int_least32_t;
typedef __uint32_t __uint_least32_t;
typedef __int64_t __int_least64_t;
typedef __uint64_t __uint_least64_t;
typedef long int __quad_t;
typedef unsigned long int __u_quad_t;
typedef long int __intmax_t;
typedef unsigned long int __uintmax_t;
# 141 "/usr/aarch64-linux-gnu/include/bits/types.h" 3
# 1 "/usr/aarch64-linux-gnu/include/bits/typesizes.h" 1 3
# 142 "/usr/aarch64-linux-gnu/include/bits/types.h" 2 3
# 1 "/usr/aarch64-linux-gnu/include/bits/time64.h" 1 3
# 143 "/usr/aarch64-linux-gnu/include/bits/types.h" 2 3
typedef unsigned long int __dev_t;
typedef unsigned int __uid_t;
typedef unsigned int __gid_t;
typedef unsigned long int __ino_t;
typedef unsigned long int __ino64_t;
typedef unsigned int __mode_t;
typedef unsigned int __nlink_t;
typedef long int __off_t;
typedef long int __off64_t;
typedef int __pid_t;
typedef struct { int __val[2]; } __fsid_t;
typedef long int __clock_t;
typedef unsigned long int __rlim_t;
typedef unsigned long int __rlim64_t;
typedef unsigned int __id_t;
typedef long int __time_t;
typedef unsigned int __useconds_t;
typedef long int __suseconds_t;
typedef int __daddr_t;
typedef int __key_t;
typedef int __clockid_t;
typedef void * __timer_t;
typedef int __blksize_t;
typedef long int __blkcnt_t;
typedef long int __blkcnt64_t;
typedef unsigned long int __fsblkcnt_t;
typedef unsigned long int __fsblkcnt64_t;
typedef unsigned long int __fsfilcnt_t;
typedef unsigned long int __fsfilcnt64_t;
typedef long int __fsword_t;
typedef long int __ssize_t;
typedef long int __syscall_slong_t;
typedef unsigned long int __syscall_ulong_t;
typedef __off64_t __loff_t;
typedef char *__caddr_t;
typedef long int __intptr_t;
typedef unsigned int __socklen_t;
typedef int __sig_atomic_t;
# 39 "/usr/aarch64-linux-gnu/include/stdio.h" 2 3
# 1 "/usr/aarch64-linux-gnu/include/bits/types/__fpos_t.h" 1 3
# 1 "/usr/aarch64-linux-gnu/include/bits/types/__mbstate_t.h" 1 3
# 13 "/usr/aarch64-linux-gnu/include/bits/types/__mbstate_t.h" 3
typedef struct
{
int __count;
union
{
unsigned int __wch;
char __wchb[4];
} __value;
} __mbstate_t;
# 6 "/usr/aarch64-linux-gnu/include/bits/types/__fpos_t.h" 2 3
typedef struct _G_fpos_t
{
__off_t __pos;
__mbstate_t __state;
} __fpos_t;
# 40 "/usr/aarch64-linux-gnu/include/stdio.h" 2 3
# 1 "/usr/aarch64-linux-gnu/include/bits/types/__fpos64_t.h" 1 3
# 10 "/usr/aarch64-linux-gnu/include/bits/types/__fpos64_t.h" 3
typedef struct _G_fpos64_t
{
__off64_t __pos;
__mbstate_t __state;
} __fpos64_t;
# 41 "/usr/aarch64-linux-gnu/include/stdio.h" 2 3
# 1 "/usr/aarch64-linux-gnu/include/bits/types/__FILE.h" 1 3
struct _IO_FILE;
typedef struct _IO_FILE __FILE;
# 42 "/usr/aarch64-linux-gnu/include/stdio.h" 2 3
# 1 "/usr/aarch64-linux-gnu/include/bits/types/FILE.h" 1 3
struct _IO_FILE;
typedef struct _IO_FILE FILE;
# 43 "/usr/aarch64-linux-gnu/include/stdio.h" 2 3
# 1 "/usr/aarch64-linux-gnu/include/bits/types/struct_FILE.h" 1 3
# 35 "/usr/aarch64-linux-gnu/include/bits/types/struct_FILE.h" 3
struct _IO_FILE;
struct _IO_marker;
struct _IO_codecvt;
struct _IO_wide_data;
typedef void _IO_lock_t;
struct _IO_FILE
{
int _flags;
char *_IO_read_ptr;
char *_IO_read_end;
char *_IO_read_base;
char *_IO_write_base;
char *_IO_write_ptr;
char *_IO_write_end;
char *_IO_buf_base;
char *_IO_buf_end;
char *_IO_save_base;
char *_IO_backup_base;
char *_IO_save_end;
struct _IO_marker *_markers;
struct _IO_FILE *_chain;
int _fileno;
int _flags2;
__off_t _old_offset;
unsigned short _cur_column;
signed char _vtable_offset;
char _shortbuf[1];
_IO_lock_t *_lock;
__off64_t _offset;
struct _IO_codecvt *_codecvt;
struct _IO_wide_data *_wide_data;
struct _IO_FILE *_freeres_list;
void *_freeres_buf;
size_t __pad5;
int _mode;
char _unused2[15 * sizeof (int) - 4 * sizeof (void *) - sizeof (size_t)];
};
# 44 "/usr/aarch64-linux-gnu/include/stdio.h" 2 3
# 84 "/usr/aarch64-linux-gnu/include/stdio.h" 3
typedef __fpos_t fpos_t;
# 133 "/usr/aarch64-linux-gnu/include/stdio.h" 3
# 1 "/usr/aarch64-linux-gnu/include/bits/stdio_lim.h" 1 3
# 134 "/usr/aarch64-linux-gnu/include/stdio.h" 2 3
extern FILE *stdin;
extern FILE *stdout;
extern FILE *stderr;
extern int remove (const char *__filename) ;
extern int rename (const char *__old, const char *__new) ;
# 173 "/usr/aarch64-linux-gnu/include/stdio.h" 3
extern FILE *tmpfile (void) ;
# 187 "/usr/aarch64-linux-gnu/include/stdio.h" 3
extern char *tmpnam (char *__s) ;
# 213 "/usr/aarch64-linux-gnu/include/stdio.h" 3
extern int fclose (FILE *__stream);
extern int fflush (FILE *__stream);
# 246 "/usr/aarch64-linux-gnu/include/stdio.h" 3
extern FILE *fopen (const char *restrict __filename,
const char *restrict __modes) ;
extern FILE *freopen (const char *restrict __filename,
const char *restrict __modes,
FILE *restrict __stream) ;
# 304 "/usr/aarch64-linux-gnu/include/stdio.h" 3
extern void setbuf (FILE *restrict __stream, char *restrict __buf) ;
extern int setvbuf (FILE *restrict __stream, char *restrict __buf,
int __modes, size_t __n) ;
# 326 "/usr/aarch64-linux-gnu/include/stdio.h" 3
extern int fprintf (FILE *restrict __stream,
const char *restrict __format, ...);
extern int printf (const char *restrict __format, ...);
extern int sprintf (char *restrict __s,
const char *restrict __format, ...) ;
extern int vfprintf (FILE *restrict __s, const char *restrict __format,
__gnuc_va_list __arg);
extern int vprintf (const char *restrict __format, __gnuc_va_list __arg);
extern int vsprintf (char *restrict __s, const char *restrict __format,
__gnuc_va_list __arg) ;
extern int snprintf (char *restrict __s, size_t __maxlen,
const char *restrict __format, ...)
;
extern int vsnprintf (char *restrict __s, size_t __maxlen,
const char *restrict __format, __gnuc_va_list __arg)
;
# 391 "/usr/aarch64-linux-gnu/include/stdio.h" 3
extern int fscanf (FILE *restrict __stream,
const char *restrict __format, ...) ;
extern int scanf (const char *restrict __format, ...) ;
extern int sscanf (const char *restrict __s,
const char *restrict __format, ...) ;
# 416 "/usr/aarch64-linux-gnu/include/stdio.h" 3
extern int __isoc99_fscanf (FILE *restrict __stream,
const char *restrict __format, ...) ;
extern int __isoc99_scanf (const char *restrict __format, ...) ;
extern int __isoc99_sscanf (const char *restrict __s,
const char *restrict __format, ...) ;
# 432 "/usr/aarch64-linux-gnu/include/stdio.h" 3
extern int vfscanf (FILE *restrict __s, const char *restrict __format,
__gnuc_va_list __arg)
;
extern int vscanf (const char *restrict __format, __gnuc_va_list __arg)
;
extern int vsscanf (const char *restrict __s,
const char *restrict __format, __gnuc_va_list __arg)
;
# 465 "/usr/aarch64-linux-gnu/include/stdio.h" 3
extern int __isoc99_vfscanf (FILE *restrict __s,
const char *restrict __format,
__gnuc_va_list __arg) ;
extern int __isoc99_vscanf (const char *restrict __format,
__gnuc_va_list __arg) ;
extern int __isoc99_vsscanf (const char *restrict __s,
const char *restrict __format,
__gnuc_va_list __arg) ;
# 485 "/usr/aarch64-linux-gnu/include/stdio.h" 3
extern int fgetc (FILE *__stream);
extern int getc (FILE *__stream);
extern int getchar (void);
# 521 "/usr/aarch64-linux-gnu/include/stdio.h" 3
extern int fputc (int __c, FILE *__stream);
extern int putc (int __c, FILE *__stream);
extern int putchar (int __c);
# 564 "/usr/aarch64-linux-gnu/include/stdio.h" 3
extern char *fgets (char *restrict __s, int __n, FILE *restrict __stream)
;
# 577 "/usr/aarch64-linux-gnu/include/stdio.h" 3
extern char *gets (char *__s) ;
# 626 "/usr/aarch64-linux-gnu/include/stdio.h" 3
extern int fputs (const char *restrict __s, FILE *restrict __stream);
extern int puts (const char *__s);
extern int ungetc (int __c, FILE *__stream);
extern size_t fread (void *restrict __ptr, size_t __size,
size_t __n, FILE *restrict __stream) ;
extern size_t fwrite (const void *restrict __ptr, size_t __size,
size_t __n, FILE *restrict __s);
# 684 "/usr/aarch64-linux-gnu/include/stdio.h" 3
extern int fseek (FILE *__stream, long int __off, int __whence);
extern long int ftell (FILE *__stream) ;
extern void rewind (FILE *__stream);
# 731 "/usr/aarch64-linux-gnu/include/stdio.h" 3
extern int fgetpos (FILE *restrict __stream, fpos_t *restrict __pos);
extern int fsetpos (FILE *__stream, const fpos_t *__pos);
# 757 "/usr/aarch64-linux-gnu/include/stdio.h" 3
extern void clearerr (FILE *__stream) ;
extern int feof (FILE *__stream) ;
extern int ferror (FILE *__stream) ;
# 775 "/usr/aarch64-linux-gnu/include/stdio.h" 3
extern void perror (const char *__s);
# 1 "/usr/aarch64-linux-gnu/include/bits/sys_errlist.h" 1 3
# 782 "/usr/aarch64-linux-gnu/include/stdio.h" 2 3
# 858 "/usr/aarch64-linux-gnu/include/stdio.h" 3
extern int __uflow (FILE *);
extern int __overflow (FILE *, int);
# 873 "/usr/aarch64-linux-gnu/include/stdio.h" 3
# 3 "test_profiling.c" 2
# 4 "test_profiling.c"
int main(int argc, char **argv) {
if (argc < 2) return 1;
int i = atoi(argv[1]);
if (i > 0) {
printf("positive\n");
} else if (i==0) {
printf("zero\n");
} else {
printf("negative\n");
}
return 0;
}
|
