specs for hal formats