added 'int64_t __extract_element(const __vec16_i64 &v, uint32_t index)' function