what will happen after linux kernel INT_MAX?