Update indexing in example state handler (and instructions)