../../../core_sim.hal