Write simple-int-list