Update set_int2.sml