Debugging HAL/SimBA interface