Function declassify_mut_slice 

pub fn declassify_mut_slice<T>(x: T) -> T

Classify a mutable slice (identity) We define a separate function for this because hax has limited support for &mut-returning functions