add List_int interface