Function box_pointer_spec Copy item path

pub uninterp fn box_pointer_spec<T>(b: Box<T>) -> *mut T