panic!("Error should never be raised by Miri: {:?}",e.kind()),
Unsupported(_)=>
vec![format!("this is likely not a bug in the program; it indicates that the program performed an operation that the interpreter does not support")],
vec![(None,format!("this is likely not a bug in the program; it indicates that the program performed an operation that the interpreter does not support"))],