Symbol: process_reg32