Create set_int.sml