Symbol: PR_OPTIONS