Making "markseen" instructions more precise