__CP_int_OK