Added int_compare_by_pointer().