Symbol: PR_OK