Corrected max_int test