insr-list1 implemented