int main(int argc , char **argv )
{ int file ;
int tmp ;
void *cbuf ;
void *tmp___0 ;
int a ;
ssize_t tmp___1 ;
char *__cil_tmp9 ;
unsigned int __cil_tmp10 ;
size_t __cil_tmp11 ;
char *__cil_tmp12 ;
size_t __cil_tmp13 ;
{
{
__cil_tmp9 = (char *)"unknown";
tmp = l_open(__cil_tmp9, 0);
file = tmp;
__cil_tmp10 = 1U * 100U;
__cil_tmp11 = (size_t )__cil_tmp10;
tmp___0 = malloc(__cil_tmp11);
cbuf = tmp___0;
__cil_tmp12 = (char *)cbuf;
__cil_tmp13 = (size_t )99;
tmp___1 = l_read(file, __cil_tmp12, __cil_tmp13);
a = (int )tmp___1;
}
return (0);
}
}
int main(int argc , char **argv )
{ int file ;
int tmp ;
void *cbuf ;
void *tmp___0 ;
int a ;
ssize_t tmp___1 ;
char *__cil_tmp9 ;
unsigned int __cil_tmp10 ;
size_t __cil_tmp11 ;
char *__cil_tmp12 ;
size_t __cil_tmp13 ;
{
{
#line 14
__cil_tmp9 = (char *)"unknown";
#line 14
tmp = l_open(__cil_tmp9, 0);
#line 14
file = tmp;
#line 15
__cil_tmp10 = 1U * 100U;
#line 15
__cil_tmp11 = (size_t )__cil_tmp10;
#line 15
tmp___0 = malloc(__cil_tmp11);
#line 15
cbuf = tmp___0;
#line 16
__cil_tmp12 = (char *)cbuf;
#line 16
__cil_tmp13 = (size_t )99;
#line 16
tmp___1 = l_read(file, __cil_tmp12, __cil_tmp13);
#line 16
a = (int )tmp___1;
}
#line 17
return (0);
}
}
