(C::TEST-VALUE-WHEN-SCHARP
 (10 1 (:REWRITE C::VALUE-FIX-WHEN-VALUEP))
 (5 1 (:REWRITE C::VALUEP-WHEN-VALUE-OPTIONP))
 (5 1 (:REWRITE C::VALUE-INTEGER->GET-WHEN-USHORTP))
 (5 1 (:REWRITE C::VALUE-INTEGER->GET-WHEN-ULONGP))
 (5 1 (:REWRITE C::VALUE-INTEGER->GET-WHEN-ULLONGP))
 (5 1 (:REWRITE C::VALUE-INTEGER->GET-WHEN-UINTP))
 (5 1 (:REWRITE C::VALUE-INTEGER->GET-WHEN-UCHARP))
 (5 1 (:REWRITE C::VALUE-INTEGER->GET-WHEN-SSHORTP))
 (5 1 (:REWRITE C::VALUE-INTEGER->GET-WHEN-SLONGP))
 (5 1 (:REWRITE C::VALUE-INTEGER->GET-WHEN-SLLONGP))
 (5 1 (:REWRITE C::VALUE-INTEGER->GET-WHEN-SINTP))
 (3 3 (:TYPE-PRESCRIPTION C::VALUEP))
 (2 2 (:TYPE-PRESCRIPTION C::VALUE-OPTIONP))
 (2 2 (:TYPE-PRESCRIPTION C::USHORTP))
 (2 2 (:TYPE-PRESCRIPTION C::ULONGP))
 (2 2 (:TYPE-PRESCRIPTION C::ULLONGP))
 (2 2 (:TYPE-PRESCRIPTION C::UINTP))
 (2 2 (:TYPE-PRESCRIPTION C::UCHARP))
 (2 2 (:TYPE-PRESCRIPTION C::SSHORTP))
 (2 2 (:TYPE-PRESCRIPTION C::SLONGP))
 (2 2 (:TYPE-PRESCRIPTION C::SLLONGP))
 (2 2 (:TYPE-PRESCRIPTION C::SINTP))
 (2 2 (:REWRITE C::VALUEP-WHEN-MEMBER-EQUAL-OF-VALUE-LISTP))
 (2 2 (:REWRITE C::USHORTP-WHEN-MEMBER-EQUAL-OF-USHORT-LISTP))
 (2 2 (:REWRITE C::ULONGP-WHEN-MEMBER-EQUAL-OF-ULONG-LISTP))
 (2 2 (:REWRITE C::ULLONGP-WHEN-MEMBER-EQUAL-OF-ULLONG-LISTP))
 (2 2 (:REWRITE C::UINTP-WHEN-MEMBER-EQUAL-OF-UINT-LISTP))
 (2 2 (:REWRITE C::UCHARP-WHEN-MEMBER-EQUAL-OF-UCHAR-LISTP))
 (2 2 (:REWRITE C::SSHORTP-WHEN-MEMBER-EQUAL-OF-SSHORT-LISTP))
 (2 2 (:REWRITE C::SLONGP-WHEN-MEMBER-EQUAL-OF-SLONG-LISTP))
 (2 2 (:REWRITE C::SLLONGP-WHEN-MEMBER-EQUAL-OF-SLLONG-LISTP))
 (2 2 (:REWRITE C::SINTP-WHEN-MEMBER-EQUAL-OF-SINT-LISTP))
 (2 2 (:REWRITE C::SCHARP-WHEN-MEMBER-EQUAL-OF-SCHAR-LISTP))
 (2 1 (:REWRITE C::VALUE-OPTIONP-WHEN-VALUEP))
 )
(C::TEST-VALUE-WHEN-UCHARP
 (10 1 (:REWRITE C::VALUE-FIX-WHEN-VALUEP))
 (5 1 (:REWRITE C::VALUEP-WHEN-VALUE-OPTIONP))
 (5 1 (:REWRITE C::VALUE-INTEGER->GET-WHEN-USHORTP))
 (5 1 (:REWRITE C::VALUE-INTEGER->GET-WHEN-ULONGP))
 (5 1 (:REWRITE C::VALUE-INTEGER->GET-WHEN-ULLONGP))
 (5 1 (:REWRITE C::VALUE-INTEGER->GET-WHEN-UINTP))
 (5 1 (:REWRITE C::VALUE-INTEGER->GET-WHEN-SSHORTP))
 (5 1 (:REWRITE C::VALUE-INTEGER->GET-WHEN-SLONGP))
 (5 1 (:REWRITE C::VALUE-INTEGER->GET-WHEN-SLLONGP))
 (5 1 (:REWRITE C::VALUE-INTEGER->GET-WHEN-SINTP))
 (3 3 (:TYPE-PRESCRIPTION C::VALUEP))
 (2 2 (:TYPE-PRESCRIPTION C::VALUE-OPTIONP))
 (2 2 (:TYPE-PRESCRIPTION C::USHORTP))
 (2 2 (:TYPE-PRESCRIPTION C::ULONGP))
 (2 2 (:TYPE-PRESCRIPTION C::ULLONGP))
 (2 2 (:TYPE-PRESCRIPTION C::UINTP))
 (2 2 (:TYPE-PRESCRIPTION C::SSHORTP))
 (2 2 (:TYPE-PRESCRIPTION C::SLONGP))
 (2 2 (:TYPE-PRESCRIPTION C::SLLONGP))
 (2 2 (:TYPE-PRESCRIPTION C::SINTP))
 (2 2 (:REWRITE C::VALUEP-WHEN-MEMBER-EQUAL-OF-VALUE-LISTP))
 (2 2 (:REWRITE C::USHORTP-WHEN-MEMBER-EQUAL-OF-USHORT-LISTP))
 (2 2 (:REWRITE C::ULONGP-WHEN-MEMBER-EQUAL-OF-ULONG-LISTP))
 (2 2 (:REWRITE C::ULLONGP-WHEN-MEMBER-EQUAL-OF-ULLONG-LISTP))
 (2 2 (:REWRITE C::UINTP-WHEN-MEMBER-EQUAL-OF-UINT-LISTP))
 (2 2 (:REWRITE C::UCHARP-WHEN-MEMBER-EQUAL-OF-UCHAR-LISTP))
 (2 2 (:REWRITE C::SSHORTP-WHEN-MEMBER-EQUAL-OF-SSHORT-LISTP))
 (2 2 (:REWRITE C::SLONGP-WHEN-MEMBER-EQUAL-OF-SLONG-LISTP))
 (2 2 (:REWRITE C::SLLONGP-WHEN-MEMBER-EQUAL-OF-SLLONG-LISTP))
 (2 2 (:REWRITE C::SINTP-WHEN-MEMBER-EQUAL-OF-SINT-LISTP))
 (2 1 (:REWRITE C::VALUE-OPTIONP-WHEN-VALUEP))
 )
(C::TEST-VALUE-WHEN-SSHORTP
 (10 1 (:REWRITE C::VALUE-FIX-WHEN-VALUEP))
 (5 1 (:REWRITE C::VALUEP-WHEN-VALUE-OPTIONP))
 (5 1 (:REWRITE C::VALUE-INTEGER->GET-WHEN-USHORTP))
 (5 1 (:REWRITE C::VALUE-INTEGER->GET-WHEN-ULONGP))
 (5 1 (:REWRITE C::VALUE-INTEGER->GET-WHEN-ULLONGP))
 (5 1 (:REWRITE C::VALUE-INTEGER->GET-WHEN-UINTP))
 (5 1 (:REWRITE C::VALUE-INTEGER->GET-WHEN-SLONGP))
 (5 1 (:REWRITE C::VALUE-INTEGER->GET-WHEN-SLLONGP))
 (5 1 (:REWRITE C::VALUE-INTEGER->GET-WHEN-SINTP))
 (3 3 (:TYPE-PRESCRIPTION C::VALUEP))
 (2 2 (:TYPE-PRESCRIPTION C::VALUE-OPTIONP))
 (2 2 (:TYPE-PRESCRIPTION C::USHORTP))
 (2 2 (:TYPE-PRESCRIPTION C::ULONGP))
 (2 2 (:TYPE-PRESCRIPTION C::ULLONGP))
 (2 2 (:TYPE-PRESCRIPTION C::UINTP))
 (2 2 (:TYPE-PRESCRIPTION C::SLONGP))
 (2 2 (:TYPE-PRESCRIPTION C::SLLONGP))
 (2 2 (:TYPE-PRESCRIPTION C::SINTP))
 (2 2 (:REWRITE C::VALUEP-WHEN-MEMBER-EQUAL-OF-VALUE-LISTP))
 (2 2 (:REWRITE C::USHORTP-WHEN-MEMBER-EQUAL-OF-USHORT-LISTP))
 (2 2 (:REWRITE C::ULONGP-WHEN-MEMBER-EQUAL-OF-ULONG-LISTP))
 (2 2 (:REWRITE C::ULLONGP-WHEN-MEMBER-EQUAL-OF-ULLONG-LISTP))
 (2 2 (:REWRITE C::UINTP-WHEN-MEMBER-EQUAL-OF-UINT-LISTP))
 (2 2 (:REWRITE C::SSHORTP-WHEN-MEMBER-EQUAL-OF-SSHORT-LISTP))
 (2 2 (:REWRITE C::SLONGP-WHEN-MEMBER-EQUAL-OF-SLONG-LISTP))
 (2 2 (:REWRITE C::SLLONGP-WHEN-MEMBER-EQUAL-OF-SLLONG-LISTP))
 (2 2 (:REWRITE C::SINTP-WHEN-MEMBER-EQUAL-OF-SINT-LISTP))
 (2 1 (:REWRITE C::VALUE-OPTIONP-WHEN-VALUEP))
 )
(C::TEST-VALUE-WHEN-USHORTP
 (10 1 (:REWRITE C::VALUE-FIX-WHEN-VALUEP))
 (5 1 (:REWRITE C::VALUEP-WHEN-VALUE-OPTIONP))
 (5 1 (:REWRITE C::VALUE-INTEGER->GET-WHEN-ULONGP))
 (5 1 (:REWRITE C::VALUE-INTEGER->GET-WHEN-ULLONGP))
 (5 1 (:REWRITE C::VALUE-INTEGER->GET-WHEN-UINTP))
 (5 1 (:REWRITE C::VALUE-INTEGER->GET-WHEN-SLONGP))
 (5 1 (:REWRITE C::VALUE-INTEGER->GET-WHEN-SLLONGP))
 (5 1 (:REWRITE C::VALUE-INTEGER->GET-WHEN-SINTP))
 (3 3 (:TYPE-PRESCRIPTION C::VALUEP))
 (2 2 (:TYPE-PRESCRIPTION C::VALUE-OPTIONP))
 (2 2 (:TYPE-PRESCRIPTION C::ULONGP))
 (2 2 (:TYPE-PRESCRIPTION C::ULLONGP))
 (2 2 (:TYPE-PRESCRIPTION C::UINTP))
 (2 2 (:TYPE-PRESCRIPTION C::SLONGP))
 (2 2 (:TYPE-PRESCRIPTION C::SLLONGP))
 (2 2 (:TYPE-PRESCRIPTION C::SINTP))
 (2 2 (:REWRITE C::VALUEP-WHEN-MEMBER-EQUAL-OF-VALUE-LISTP))
 (2 2 (:REWRITE C::USHORTP-WHEN-MEMBER-EQUAL-OF-USHORT-LISTP))
 (2 2 (:REWRITE C::ULONGP-WHEN-MEMBER-EQUAL-OF-ULONG-LISTP))
 (2 2 (:REWRITE C::ULLONGP-WHEN-MEMBER-EQUAL-OF-ULLONG-LISTP))
 (2 2 (:REWRITE C::UINTP-WHEN-MEMBER-EQUAL-OF-UINT-LISTP))
 (2 2 (:REWRITE C::SLONGP-WHEN-MEMBER-EQUAL-OF-SLONG-LISTP))
 (2 2 (:REWRITE C::SLLONGP-WHEN-MEMBER-EQUAL-OF-SLLONG-LISTP))
 (2 2 (:REWRITE C::SINTP-WHEN-MEMBER-EQUAL-OF-SINT-LISTP))
 (2 1 (:REWRITE C::VALUE-OPTIONP-WHEN-VALUEP))
 )
(C::TEST-VALUE-WHEN-SINTP
 (10 1 (:REWRITE C::VALUE-FIX-WHEN-VALUEP))
 (5 1 (:REWRITE C::VALUEP-WHEN-VALUE-OPTIONP))
 (5 1 (:REWRITE C::VALUE-INTEGER->GET-WHEN-ULONGP))
 (5 1 (:REWRITE C::VALUE-INTEGER->GET-WHEN-ULLONGP))
 (5 1 (:REWRITE C::VALUE-INTEGER->GET-WHEN-UINTP))
 (5 1 (:REWRITE C::VALUE-INTEGER->GET-WHEN-SLONGP))
 (5 1 (:REWRITE C::VALUE-INTEGER->GET-WHEN-SLLONGP))
 (3 3 (:TYPE-PRESCRIPTION C::VALUEP))
 (2 2 (:TYPE-PRESCRIPTION C::VALUE-OPTIONP))
 (2 2 (:TYPE-PRESCRIPTION C::ULONGP))
 (2 2 (:TYPE-PRESCRIPTION C::ULLONGP))
 (2 2 (:TYPE-PRESCRIPTION C::UINTP))
 (2 2 (:TYPE-PRESCRIPTION C::SLONGP))
 (2 2 (:TYPE-PRESCRIPTION C::SLLONGP))
 (2 2 (:REWRITE C::VALUEP-WHEN-MEMBER-EQUAL-OF-VALUE-LISTP))
 (2 2 (:REWRITE C::ULONGP-WHEN-MEMBER-EQUAL-OF-ULONG-LISTP))
 (2 2 (:REWRITE C::ULLONGP-WHEN-MEMBER-EQUAL-OF-ULLONG-LISTP))
 (2 2 (:REWRITE C::UINTP-WHEN-MEMBER-EQUAL-OF-UINT-LISTP))
 (2 2 (:REWRITE C::SLONGP-WHEN-MEMBER-EQUAL-OF-SLONG-LISTP))
 (2 2 (:REWRITE C::SLLONGP-WHEN-MEMBER-EQUAL-OF-SLLONG-LISTP))
 (2 2 (:REWRITE C::SINTP-WHEN-MEMBER-EQUAL-OF-SINT-LISTP))
 (2 1 (:REWRITE C::VALUE-OPTIONP-WHEN-VALUEP))
 )
(C::TEST-VALUE-WHEN-UINTP
 (10 1 (:REWRITE C::VALUE-FIX-WHEN-VALUEP))
 (5 1 (:REWRITE C::VALUEP-WHEN-VALUE-OPTIONP))
 (5 1 (:REWRITE C::VALUE-INTEGER->GET-WHEN-ULONGP))
 (5 1 (:REWRITE C::VALUE-INTEGER->GET-WHEN-ULLONGP))
 (5 1 (:REWRITE C::VALUE-INTEGER->GET-WHEN-SLONGP))
 (5 1 (:REWRITE C::VALUE-INTEGER->GET-WHEN-SLLONGP))
 (3 3 (:TYPE-PRESCRIPTION C::VALUEP))
 (2 2 (:TYPE-PRESCRIPTION C::VALUE-OPTIONP))
 (2 2 (:TYPE-PRESCRIPTION C::ULONGP))
 (2 2 (:TYPE-PRESCRIPTION C::ULLONGP))
 (2 2 (:TYPE-PRESCRIPTION C::SLONGP))
 (2 2 (:TYPE-PRESCRIPTION C::SLLONGP))
 (2 2 (:REWRITE C::VALUEP-WHEN-MEMBER-EQUAL-OF-VALUE-LISTP))
 (2 2 (:REWRITE C::ULONGP-WHEN-MEMBER-EQUAL-OF-ULONG-LISTP))
 (2 2 (:REWRITE C::ULLONGP-WHEN-MEMBER-EQUAL-OF-ULLONG-LISTP))
 (2 2 (:REWRITE C::UINTP-WHEN-MEMBER-EQUAL-OF-UINT-LISTP))
 (2 2 (:REWRITE C::SLONGP-WHEN-MEMBER-EQUAL-OF-SLONG-LISTP))
 (2 2 (:REWRITE C::SLLONGP-WHEN-MEMBER-EQUAL-OF-SLLONG-LISTP))
 (2 1 (:REWRITE C::VALUE-OPTIONP-WHEN-VALUEP))
 )
(C::TEST-VALUE-WHEN-SLONGP
 (10 1 (:REWRITE C::VALUE-FIX-WHEN-VALUEP))
 (5 1 (:REWRITE C::VALUEP-WHEN-VALUE-OPTIONP))
 (5 1 (:REWRITE C::VALUE-INTEGER->GET-WHEN-ULONGP))
 (5 1 (:REWRITE C::VALUE-INTEGER->GET-WHEN-ULLONGP))
 (5 1 (:REWRITE C::VALUE-INTEGER->GET-WHEN-SLLONGP))
 (3 3 (:TYPE-PRESCRIPTION C::VALUEP))
 (2 2 (:TYPE-PRESCRIPTION C::VALUE-OPTIONP))
 (2 2 (:TYPE-PRESCRIPTION C::ULONGP))
 (2 2 (:TYPE-PRESCRIPTION C::ULLONGP))
 (2 2 (:TYPE-PRESCRIPTION C::SLLONGP))
 (2 2 (:REWRITE C::VALUEP-WHEN-MEMBER-EQUAL-OF-VALUE-LISTP))
 (2 2 (:REWRITE C::ULONGP-WHEN-MEMBER-EQUAL-OF-ULONG-LISTP))
 (2 2 (:REWRITE C::ULLONGP-WHEN-MEMBER-EQUAL-OF-ULLONG-LISTP))
 (2 2 (:REWRITE C::SLONGP-WHEN-MEMBER-EQUAL-OF-SLONG-LISTP))
 (2 2 (:REWRITE C::SLLONGP-WHEN-MEMBER-EQUAL-OF-SLLONG-LISTP))
 (2 1 (:REWRITE C::VALUE-OPTIONP-WHEN-VALUEP))
 )
(C::TEST-VALUE-WHEN-ULONGP
 (10 1 (:REWRITE C::VALUE-FIX-WHEN-VALUEP))
 (5 1 (:REWRITE C::VALUEP-WHEN-VALUE-OPTIONP))
 (5 1 (:REWRITE C::VALUE-INTEGER->GET-WHEN-ULLONGP))
 (5 1 (:REWRITE C::VALUE-INTEGER->GET-WHEN-SLLONGP))
 (3 3 (:TYPE-PRESCRIPTION C::VALUEP))
 (2 2 (:TYPE-PRESCRIPTION C::VALUE-OPTIONP))
 (2 2 (:TYPE-PRESCRIPTION C::ULLONGP))
 (2 2 (:TYPE-PRESCRIPTION C::SLLONGP))
 (2 2 (:REWRITE C::VALUEP-WHEN-MEMBER-EQUAL-OF-VALUE-LISTP))
 (2 2 (:REWRITE C::ULONGP-WHEN-MEMBER-EQUAL-OF-ULONG-LISTP))
 (2 2 (:REWRITE C::ULLONGP-WHEN-MEMBER-EQUAL-OF-ULLONG-LISTP))
 (2 2 (:REWRITE C::SLLONGP-WHEN-MEMBER-EQUAL-OF-SLLONG-LISTP))
 (2 1 (:REWRITE C::VALUE-OPTIONP-WHEN-VALUEP))
 )
(C::TEST-VALUE-WHEN-SLLONGP
 (10 1 (:REWRITE C::VALUE-FIX-WHEN-VALUEP))
 (5 1 (:REWRITE C::VALUEP-WHEN-VALUE-OPTIONP))
 (5 1 (:REWRITE C::VALUE-INTEGER->GET-WHEN-ULLONGP))
 (3 3 (:TYPE-PRESCRIPTION C::VALUEP))
 (2 2 (:TYPE-PRESCRIPTION C::VALUE-OPTIONP))
 (2 2 (:TYPE-PRESCRIPTION C::ULLONGP))
 (2 2 (:REWRITE C::VALUEP-WHEN-MEMBER-EQUAL-OF-VALUE-LISTP))
 (2 2 (:REWRITE C::ULLONGP-WHEN-MEMBER-EQUAL-OF-ULLONG-LISTP))
 (2 2 (:REWRITE C::SLLONGP-WHEN-MEMBER-EQUAL-OF-SLLONG-LISTP))
 (2 1 (:REWRITE C::VALUE-OPTIONP-WHEN-VALUEP))
 )
(C::TEST-VALUE-WHEN-ULLONGP
 (10 1 (:REWRITE C::VALUE-FIX-WHEN-VALUEP))
 (5 1 (:REWRITE C::VALUEP-WHEN-VALUE-OPTIONP))
 (3 3 (:TYPE-PRESCRIPTION C::VALUEP))
 (2 2 (:TYPE-PRESCRIPTION C::VALUE-OPTIONP))
 (2 2 (:REWRITE C::VALUEP-WHEN-MEMBER-EQUAL-OF-VALUE-LISTP))
 (2 2 (:REWRITE C::ULLONGP-WHEN-MEMBER-EQUAL-OF-ULLONG-LISTP))
 (2 1 (:REWRITE C::VALUE-OPTIONP-WHEN-VALUEP))
 )
