Symbol: proc_reg_write