Symbol: VRISC_JMP