include hal