Symbol: pt_riscv