Any reason not to include hal too?