SMT Splicing Shims