HVX for GHC version 7.6.3