Declare token_get_privilege() and token_set_privilege()