add HALExamples