Looking over and improving “InstruList.c”, including adding a few todos.