[ref] HAL toplevel object