Symbol: REGNO_VAX_R15