inst: @lk21.drift @txnsidx.asi