Function isolation_abort_error 

pub fn isolation_abort_error<'tcx>(name: &str) -> InterpResult<'tcx>