Move Bounded imp from slitrace