fn first_copied<T: Copy>(slice: Option<&[T]>) -> Option<T>