Function extract_lane_as_i64 

fn extract_lane_as_i64(bytes: u128, lane: usize) -> i64