Symbol: genregs32_get