Symbol: gen7_reg_list