Symbol: RISCV_PTR