../../core_sim.hal