Re: What replaces this bit of HAL?