| KU.S_REG when KF.check_suffix name i_ext ->
let base = KF.chop_suffix name i_ext in
let oname = concats [st.bd; st.op; dname; base^o_ext] in
| KU.S_REG when KF.check_suffix name i_ext ->
let base = KF.chop_suffix name i_ext in
let oname = concats [st.bd; st.op; dname; base^o_ext] in