Experiments with HAL