-- HAL-9001 -- (HAL)