Symbol: hal2_syn_regs