Extractions in Haswell