1%verify "executed" 2@include "armv5te/OP_IPUT.S" { "store":"strb", "sqnum":"1" } 3%include "armv5te/OP_IPUT.S" { "store":"str", "sqnum":"1" } 4