HAL-64: wip