../core_sim.hal