void _main(){int data;data=-1;data=RAND32();{int data_copy=data;int data=data_copy;{size_t i;int *b;b=(int*)malloc(data * sizeof(int));for (i=0;i < (size_t)data;i++){}printIntLine(b[0]);free(b);}}}
static void main(){int data;data=-1;data=20;{int data_copy=data;int data=data_copy;{size_t i;int *b;b=(int*)malloc(data * sizeof(int));for (i=0;i < (size_t)data;i++){}printIntLine(b[0]);free(b);}}}