Debugging HAL to work with simba