Newer
Older
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
/* Generated by Frama-C */
#include "errno.h"
#include "signal.h"
#include "stdarg.h"
#include "stdio.h"
#include "stdlib.h"
#include "time.h"
int main(void)
{
int __retres;
unsigned int i;
unsigned int j;
unsigned int t[64];
time_t tmp;
unsigned int a = (unsigned int)0;
tmp = time((time_t *)0);
srand((unsigned int)tmp);
while (~ a >> 8) {
j = (unsigned int)0;
i = j;
while (1) {
int tmp_1;
int tmp_2;
unsigned int tmp_0;
tmp_1 = getchar();
a = (unsigned int)tmp_1;
if (~ i >> 6)
if (a >> 7 == (unsigned int)1) tmp_2 = 1;
else
if ((a | (unsigned int)32) - (unsigned int)97 < (unsigned int)26)
tmp_2 = 1;
else tmp_2 = 0;
else tmp_2 = 0;
if (! tmp_2) break;
tmp_0 = i;
i ++;
t[tmp_0] = a;
}
i --;
while (i + (unsigned int)1) {
unsigned int tmp_4;
putchar((int)t[j]);
tmp_4 = i;
i --;
t[j] = t[tmp_4];
if (i) {
int tmp_3;
tmp_3 = rand();
j = (unsigned int)tmp_3 % i + (unsigned int)1;
}
else j = (unsigned int)0;
}
if (! (a >> 8)) putchar((int)a);
}
__retres = 0;
return __retres;
}