(ATJ-SIGNED-BYTE-LISTP-INPUT-N-AVALUE)
(ATJ-SIGNED-BYTE-LISTP-INPUT-X-AVALUE)
(ATJ-SIGNED-BYTE-LISTP-OUTPUT-ABOOLEAN)
(ATJ-UNSIGNED-BYTE-LISTP-INPUT-N-AVALUE)
(ATJ-UNSIGNED-BYTE-LISTP-INPUT-X-AVALUE)
(ATJ-UNSIGNED-BYTE-LISTP-OUTPUT-ABOOLEAN)
