int sim_hal_test_run(void);

int main(void) {
    return sim_hal_test_run();
}