In order to use the functions provided by this module, you need to import this module:
>>> import HardwareIntrinsics
These intrinsic functions are only available if your CPU supports
Extract a 64-bit integer from "a", selected with "imm8", and store the result in "dst".
__int64 _mm_extract_epi64 (__m128i a, const int imm8) PEXTRQ reg/m64, xmm, imm8
Copy "a" to "dst", and insert the 64-bit integer "i" into "dst" at the location specified by "imm8".
__m128i _mm_insert_epi64 (__m128i a, __int64 i, const int imm8) PINSRQ xmm, reg/m64, imm8