# encode_reg_target