1 2 3 4 5 6
void fn(int arr[4294967296]); /*%%* integer is too large: 4294967296 array size must be positive *%%*/