Create set_int2.sml