Add int_min example.