xidl/Spec/Extraction
