Symbol: set_hal_start