Definition:
(defconst *atc-exec-binary-strict-pure-rules* '(exec-binary-strict-pure-when-mul mul-values-when-schar mul-schar-and-value-when-schar mul-schar-and-value-when-uchar mul-schar-and-value-when-sshort mul-schar-and-value-when-ushort mul-schar-and-value-when-sint mul-schar-and-value-when-uint mul-schar-and-value-when-slong mul-schar-and-value-when-ulong mul-schar-and-value-when-sllong mul-schar-and-value-when-ullong mul-values-when-uchar mul-uchar-and-value-when-schar mul-uchar-and-value-when-uchar mul-uchar-and-value-when-sshort mul-uchar-and-value-when-ushort mul-uchar-and-value-when-sint mul-uchar-and-value-when-uint mul-uchar-and-value-when-slong mul-uchar-and-value-when-ulong mul-uchar-and-value-when-sllong mul-uchar-and-value-when-ullong mul-values-when-sshort mul-sshort-and-value-when-schar mul-sshort-and-value-when-uchar mul-sshort-and-value-when-sshort mul-sshort-and-value-when-ushort mul-sshort-and-value-when-sint mul-sshort-and-value-when-uint mul-sshort-and-value-when-slong mul-sshort-and-value-when-ulong mul-sshort-and-value-when-sllong mul-sshort-and-value-when-ullong mul-values-when-ushort mul-ushort-and-value-when-schar mul-ushort-and-value-when-uchar mul-ushort-and-value-when-sshort mul-ushort-and-value-when-ushort mul-ushort-and-value-when-sint mul-ushort-and-value-when-uint mul-ushort-and-value-when-slong mul-ushort-and-value-when-ulong mul-ushort-and-value-when-sllong mul-ushort-and-value-when-ullong mul-values-when-sint mul-sint-and-value-when-schar mul-sint-and-value-when-uchar mul-sint-and-value-when-sshort mul-sint-and-value-when-ushort mul-sint-and-value-when-sint mul-sint-and-value-when-uint mul-sint-and-value-when-slong mul-sint-and-value-when-ulong mul-sint-and-value-when-sllong mul-sint-and-value-when-ullong mul-values-when-uint mul-uint-and-value-when-schar mul-uint-and-value-when-uchar mul-uint-and-value-when-sshort mul-uint-and-value-when-ushort mul-uint-and-value-when-sint mul-uint-and-value-when-uint mul-uint-and-value-when-slong mul-uint-and-value-when-ulong mul-uint-and-value-when-sllong mul-uint-and-value-when-ullong mul-values-when-slong mul-slong-and-value-when-schar mul-slong-and-value-when-uchar mul-slong-and-value-when-sshort mul-slong-and-value-when-ushort mul-slong-and-value-when-sint mul-slong-and-value-when-uint mul-slong-and-value-when-slong mul-slong-and-value-when-ulong mul-slong-and-value-when-sllong mul-slong-and-value-when-ullong mul-values-when-ulong mul-ulong-and-value-when-schar mul-ulong-and-value-when-uchar mul-ulong-and-value-when-sshort mul-ulong-and-value-when-ushort mul-ulong-and-value-when-sint mul-ulong-and-value-when-uint mul-ulong-and-value-when-slong mul-ulong-and-value-when-ulong mul-ulong-and-value-when-sllong mul-ulong-and-value-when-ullong mul-values-when-sllong mul-sllong-and-value-when-schar mul-sllong-and-value-when-uchar mul-sllong-and-value-when-sshort mul-sllong-and-value-when-ushort mul-sllong-and-value-when-sint mul-sllong-and-value-when-uint mul-sllong-and-value-when-slong mul-sllong-and-value-when-ulong mul-sllong-and-value-when-sllong mul-sllong-and-value-when-ullong mul-values-when-ullong mul-ullong-and-value-when-schar mul-ullong-and-value-when-uchar mul-ullong-and-value-when-sshort mul-ullong-and-value-when-ushort mul-ullong-and-value-when-sint mul-ullong-and-value-when-uint mul-ullong-and-value-when-slong mul-ullong-and-value-when-ulong mul-ullong-and-value-when-sllong mul-ullong-and-value-when-ullong exec-binary-strict-pure-when-div div-values-when-schar div-schar-and-value-when-schar div-schar-and-value-when-uchar div-schar-and-value-when-sshort div-schar-and-value-when-ushort div-schar-and-value-when-sint div-schar-and-value-when-uint div-schar-and-value-when-slong div-schar-and-value-when-ulong div-schar-and-value-when-sllong div-schar-and-value-when-ullong div-values-when-uchar div-uchar-and-value-when-schar div-uchar-and-value-when-uchar div-uchar-and-value-when-sshort div-uchar-and-value-when-ushort div-uchar-and-value-when-sint div-uchar-and-value-when-uint div-uchar-and-value-when-slong div-uchar-and-value-when-ulong div-uchar-and-value-when-sllong div-uchar-and-value-when-ullong div-values-when-sshort div-sshort-and-value-when-schar div-sshort-and-value-when-uchar div-sshort-and-value-when-sshort div-sshort-and-value-when-ushort div-sshort-and-value-when-sint div-sshort-and-value-when-uint div-sshort-and-value-when-slong div-sshort-and-value-when-ulong div-sshort-and-value-when-sllong div-sshort-and-value-when-ullong div-values-when-ushort div-ushort-and-value-when-schar div-ushort-and-value-when-uchar div-ushort-and-value-when-sshort div-ushort-and-value-when-ushort div-ushort-and-value-when-sint div-ushort-and-value-when-uint div-ushort-and-value-when-slong div-ushort-and-value-when-ulong div-ushort-and-value-when-sllong div-ushort-and-value-when-ullong div-values-when-sint div-sint-and-value-when-schar div-sint-and-value-when-uchar div-sint-and-value-when-sshort div-sint-and-value-when-ushort div-sint-and-value-when-sint div-sint-and-value-when-uint div-sint-and-value-when-slong div-sint-and-value-when-ulong div-sint-and-value-when-sllong div-sint-and-value-when-ullong div-values-when-uint div-uint-and-value-when-schar div-uint-and-value-when-uchar div-uint-and-value-when-sshort div-uint-and-value-when-ushort div-uint-and-value-when-sint div-uint-and-value-when-uint div-uint-and-value-when-slong div-uint-and-value-when-ulong div-uint-and-value-when-sllong div-uint-and-value-when-ullong div-values-when-slong div-slong-and-value-when-schar div-slong-and-value-when-uchar div-slong-and-value-when-sshort div-slong-and-value-when-ushort div-slong-and-value-when-sint div-slong-and-value-when-uint div-slong-and-value-when-slong div-slong-and-value-when-ulong div-slong-and-value-when-sllong div-slong-and-value-when-ullong div-values-when-ulong div-ulong-and-value-when-schar div-ulong-and-value-when-uchar div-ulong-and-value-when-sshort div-ulong-and-value-when-ushort div-ulong-and-value-when-sint div-ulong-and-value-when-uint div-ulong-and-value-when-slong div-ulong-and-value-when-ulong div-ulong-and-value-when-sllong div-ulong-and-value-when-ullong div-values-when-sllong div-sllong-and-value-when-schar div-sllong-and-value-when-uchar div-sllong-and-value-when-sshort div-sllong-and-value-when-ushort div-sllong-and-value-when-sint div-sllong-and-value-when-uint div-sllong-and-value-when-slong div-sllong-and-value-when-ulong div-sllong-and-value-when-sllong div-sllong-and-value-when-ullong div-values-when-ullong div-ullong-and-value-when-schar div-ullong-and-value-when-uchar div-ullong-and-value-when-sshort div-ullong-and-value-when-ushort div-ullong-and-value-when-sint div-ullong-and-value-when-uint div-ullong-and-value-when-slong div-ullong-and-value-when-ulong div-ullong-and-value-when-sllong div-ullong-and-value-when-ullong exec-binary-strict-pure-when-rem rem-values-when-schar rem-schar-and-value-when-schar rem-schar-and-value-when-uchar rem-schar-and-value-when-sshort rem-schar-and-value-when-ushort rem-schar-and-value-when-sint rem-schar-and-value-when-uint rem-schar-and-value-when-slong rem-schar-and-value-when-ulong rem-schar-and-value-when-sllong rem-schar-and-value-when-ullong rem-values-when-uchar rem-uchar-and-value-when-schar rem-uchar-and-value-when-uchar rem-uchar-and-value-when-sshort rem-uchar-and-value-when-ushort rem-uchar-and-value-when-sint rem-uchar-and-value-when-uint rem-uchar-and-value-when-slong rem-uchar-and-value-when-ulong rem-uchar-and-value-when-sllong rem-uchar-and-value-when-ullong rem-values-when-sshort rem-sshort-and-value-when-schar rem-sshort-and-value-when-uchar rem-sshort-and-value-when-sshort rem-sshort-and-value-when-ushort rem-sshort-and-value-when-sint rem-sshort-and-value-when-uint rem-sshort-and-value-when-slong rem-sshort-and-value-when-ulong rem-sshort-and-value-when-sllong rem-sshort-and-value-when-ullong rem-values-when-ushort rem-ushort-and-value-when-schar rem-ushort-and-value-when-uchar rem-ushort-and-value-when-sshort rem-ushort-and-value-when-ushort rem-ushort-and-value-when-sint rem-ushort-and-value-when-uint rem-ushort-and-value-when-slong rem-ushort-and-value-when-ulong rem-ushort-and-value-when-sllong rem-ushort-and-value-when-ullong rem-values-when-sint rem-sint-and-value-when-schar rem-sint-and-value-when-uchar rem-sint-and-value-when-sshort rem-sint-and-value-when-ushort rem-sint-and-value-when-sint rem-sint-and-value-when-uint rem-sint-and-value-when-slong rem-sint-and-value-when-ulong rem-sint-and-value-when-sllong rem-sint-and-value-when-ullong rem-values-when-uint rem-uint-and-value-when-schar rem-uint-and-value-when-uchar rem-uint-and-value-when-sshort rem-uint-and-value-when-ushort rem-uint-and-value-when-sint rem-uint-and-value-when-uint rem-uint-and-value-when-slong rem-uint-and-value-when-ulong rem-uint-and-value-when-sllong rem-uint-and-value-when-ullong rem-values-when-slong rem-slong-and-value-when-schar rem-slong-and-value-when-uchar rem-slong-and-value-when-sshort rem-slong-and-value-when-ushort rem-slong-and-value-when-sint rem-slong-and-value-when-uint rem-slong-and-value-when-slong rem-slong-and-value-when-ulong rem-slong-and-value-when-sllong rem-slong-and-value-when-ullong rem-values-when-ulong rem-ulong-and-value-when-schar rem-ulong-and-value-when-uchar rem-ulong-and-value-when-sshort rem-ulong-and-value-when-ushort rem-ulong-and-value-when-sint rem-ulong-and-value-when-uint rem-ulong-and-value-when-slong rem-ulong-and-value-when-ulong rem-ulong-and-value-when-sllong rem-ulong-and-value-when-ullong rem-values-when-sllong rem-sllong-and-value-when-schar rem-sllong-and-value-when-uchar rem-sllong-and-value-when-sshort rem-sllong-and-value-when-ushort rem-sllong-and-value-when-sint rem-sllong-and-value-when-uint rem-sllong-and-value-when-slong rem-sllong-and-value-when-ulong rem-sllong-and-value-when-sllong rem-sllong-and-value-when-ullong rem-values-when-ullong rem-ullong-and-value-when-schar rem-ullong-and-value-when-uchar rem-ullong-and-value-when-sshort rem-ullong-and-value-when-ushort rem-ullong-and-value-when-sint rem-ullong-and-value-when-uint rem-ullong-and-value-when-slong rem-ullong-and-value-when-ulong rem-ullong-and-value-when-sllong rem-ullong-and-value-when-ullong exec-binary-strict-pure-when-add add-values-when-schar add-schar-and-value-when-schar add-schar-and-value-when-uchar add-schar-and-value-when-sshort add-schar-and-value-when-ushort add-schar-and-value-when-sint add-schar-and-value-when-uint add-schar-and-value-when-slong add-schar-and-value-when-ulong add-schar-and-value-when-sllong add-schar-and-value-when-ullong add-values-when-uchar add-uchar-and-value-when-schar add-uchar-and-value-when-uchar add-uchar-and-value-when-sshort add-uchar-and-value-when-ushort add-uchar-and-value-when-sint add-uchar-and-value-when-uint add-uchar-and-value-when-slong add-uchar-and-value-when-ulong add-uchar-and-value-when-sllong add-uchar-and-value-when-ullong add-values-when-sshort add-sshort-and-value-when-schar add-sshort-and-value-when-uchar add-sshort-and-value-when-sshort add-sshort-and-value-when-ushort add-sshort-and-value-when-sint add-sshort-and-value-when-uint add-sshort-and-value-when-slong add-sshort-and-value-when-ulong add-sshort-and-value-when-sllong add-sshort-and-value-when-ullong add-values-when-ushort add-ushort-and-value-when-schar add-ushort-and-value-when-uchar add-ushort-and-value-when-sshort add-ushort-and-value-when-ushort add-ushort-and-value-when-sint add-ushort-and-value-when-uint add-ushort-and-value-when-slong add-ushort-and-value-when-ulong add-ushort-and-value-when-sllong add-ushort-and-value-when-ullong add-values-when-sint add-sint-and-value-when-schar add-sint-and-value-when-uchar add-sint-and-value-when-sshort add-sint-and-value-when-ushort add-sint-and-value-when-sint add-sint-and-value-when-uint add-sint-and-value-when-slong add-sint-and-value-when-ulong add-sint-and-value-when-sllong add-sint-and-value-when-ullong add-values-when-uint add-uint-and-value-when-schar add-uint-and-value-when-uchar add-uint-and-value-when-sshort add-uint-and-value-when-ushort add-uint-and-value-when-sint add-uint-and-value-when-uint add-uint-and-value-when-slong add-uint-and-value-when-ulong add-uint-and-value-when-sllong add-uint-and-value-when-ullong add-values-when-slong add-slong-and-value-when-schar add-slong-and-value-when-uchar add-slong-and-value-when-sshort add-slong-and-value-when-ushort add-slong-and-value-when-sint add-slong-and-value-when-uint add-slong-and-value-when-slong add-slong-and-value-when-ulong add-slong-and-value-when-sllong add-slong-and-value-when-ullong add-values-when-ulong add-ulong-and-value-when-schar add-ulong-and-value-when-uchar add-ulong-and-value-when-sshort add-ulong-and-value-when-ushort add-ulong-and-value-when-sint add-ulong-and-value-when-uint add-ulong-and-value-when-slong add-ulong-and-value-when-ulong add-ulong-and-value-when-sllong add-ulong-and-value-when-ullong add-values-when-sllong add-sllong-and-value-when-schar add-sllong-and-value-when-uchar add-sllong-and-value-when-sshort add-sllong-and-value-when-ushort add-sllong-and-value-when-sint add-sllong-and-value-when-uint add-sllong-and-value-when-slong add-sllong-and-value-when-ulong add-sllong-and-value-when-sllong add-sllong-and-value-when-ullong add-values-when-ullong add-ullong-and-value-when-schar add-ullong-and-value-when-uchar add-ullong-and-value-when-sshort add-ullong-and-value-when-ushort add-ullong-and-value-when-sint add-ullong-and-value-when-uint add-ullong-and-value-when-slong add-ullong-and-value-when-ulong add-ullong-and-value-when-sllong add-ullong-and-value-when-ullong exec-binary-strict-pure-when-sub sub-values-when-schar sub-schar-and-value-when-schar sub-schar-and-value-when-uchar sub-schar-and-value-when-sshort sub-schar-and-value-when-ushort sub-schar-and-value-when-sint sub-schar-and-value-when-uint sub-schar-and-value-when-slong sub-schar-and-value-when-ulong sub-schar-and-value-when-sllong sub-schar-and-value-when-ullong sub-values-when-uchar sub-uchar-and-value-when-schar sub-uchar-and-value-when-uchar sub-uchar-and-value-when-sshort sub-uchar-and-value-when-ushort sub-uchar-and-value-when-sint sub-uchar-and-value-when-uint sub-uchar-and-value-when-slong sub-uchar-and-value-when-ulong sub-uchar-and-value-when-sllong sub-uchar-and-value-when-ullong sub-values-when-sshort sub-sshort-and-value-when-schar sub-sshort-and-value-when-uchar sub-sshort-and-value-when-sshort sub-sshort-and-value-when-ushort sub-sshort-and-value-when-sint sub-sshort-and-value-when-uint sub-sshort-and-value-when-slong sub-sshort-and-value-when-ulong sub-sshort-and-value-when-sllong sub-sshort-and-value-when-ullong sub-values-when-ushort sub-ushort-and-value-when-schar sub-ushort-and-value-when-uchar sub-ushort-and-value-when-sshort sub-ushort-and-value-when-ushort sub-ushort-and-value-when-sint sub-ushort-and-value-when-uint sub-ushort-and-value-when-slong sub-ushort-and-value-when-ulong sub-ushort-and-value-when-sllong sub-ushort-and-value-when-ullong sub-values-when-sint sub-sint-and-value-when-schar sub-sint-and-value-when-uchar sub-sint-and-value-when-sshort sub-sint-and-value-when-ushort sub-sint-and-value-when-sint sub-sint-and-value-when-uint sub-sint-and-value-when-slong sub-sint-and-value-when-ulong sub-sint-and-value-when-sllong sub-sint-and-value-when-ullong sub-values-when-uint sub-uint-and-value-when-schar sub-uint-and-value-when-uchar sub-uint-and-value-when-sshort sub-uint-and-value-when-ushort sub-uint-and-value-when-sint sub-uint-and-value-when-uint sub-uint-and-value-when-slong sub-uint-and-value-when-ulong sub-uint-and-value-when-sllong sub-uint-and-value-when-ullong sub-values-when-slong sub-slong-and-value-when-schar sub-slong-and-value-when-uchar sub-slong-and-value-when-sshort sub-slong-and-value-when-ushort sub-slong-and-value-when-sint sub-slong-and-value-when-uint sub-slong-and-value-when-slong sub-slong-and-value-when-ulong sub-slong-and-value-when-sllong sub-slong-and-value-when-ullong sub-values-when-ulong sub-ulong-and-value-when-schar sub-ulong-and-value-when-uchar sub-ulong-and-value-when-sshort sub-ulong-and-value-when-ushort sub-ulong-and-value-when-sint sub-ulong-and-value-when-uint sub-ulong-and-value-when-slong sub-ulong-and-value-when-ulong sub-ulong-and-value-when-sllong sub-ulong-and-value-when-ullong sub-values-when-sllong sub-sllong-and-value-when-schar sub-sllong-and-value-when-uchar sub-sllong-and-value-when-sshort sub-sllong-and-value-when-ushort sub-sllong-and-value-when-sint sub-sllong-and-value-when-uint sub-sllong-and-value-when-slong sub-sllong-and-value-when-ulong sub-sllong-and-value-when-sllong sub-sllong-and-value-when-ullong sub-values-when-ullong sub-ullong-and-value-when-schar sub-ullong-and-value-when-uchar sub-ullong-and-value-when-sshort sub-ullong-and-value-when-ushort sub-ullong-and-value-when-sint sub-ullong-and-value-when-uint sub-ullong-and-value-when-slong sub-ullong-and-value-when-ulong sub-ullong-and-value-when-sllong sub-ullong-and-value-when-ullong exec-binary-strict-pure-when-shl shl-values-when-schar shl-schar-and-value-when-schar shl-schar-and-value-when-uchar shl-schar-and-value-when-sshort shl-schar-and-value-when-ushort shl-schar-and-value-when-sint shl-schar-and-value-when-uint shl-schar-and-value-when-slong shl-schar-and-value-when-ulong shl-schar-and-value-when-sllong shl-schar-and-value-when-ullong shl-values-when-uchar shl-uchar-and-value-when-schar shl-uchar-and-value-when-uchar shl-uchar-and-value-when-sshort shl-uchar-and-value-when-ushort shl-uchar-and-value-when-sint shl-uchar-and-value-when-uint shl-uchar-and-value-when-slong shl-uchar-and-value-when-ulong shl-uchar-and-value-when-sllong shl-uchar-and-value-when-ullong shl-values-when-sshort shl-sshort-and-value-when-schar shl-sshort-and-value-when-uchar shl-sshort-and-value-when-sshort shl-sshort-and-value-when-ushort shl-sshort-and-value-when-sint shl-sshort-and-value-when-uint shl-sshort-and-value-when-slong shl-sshort-and-value-when-ulong shl-sshort-and-value-when-sllong shl-sshort-and-value-when-ullong shl-values-when-ushort shl-ushort-and-value-when-schar shl-ushort-and-value-when-uchar shl-ushort-and-value-when-sshort shl-ushort-and-value-when-ushort shl-ushort-and-value-when-sint shl-ushort-and-value-when-uint shl-ushort-and-value-when-slong shl-ushort-and-value-when-ulong shl-ushort-and-value-when-sllong shl-ushort-and-value-when-ullong shl-values-when-sint shl-sint-and-value-when-schar shl-sint-and-value-when-uchar shl-sint-and-value-when-sshort shl-sint-and-value-when-ushort shl-sint-and-value-when-sint shl-sint-and-value-when-uint shl-sint-and-value-when-slong shl-sint-and-value-when-ulong shl-sint-and-value-when-sllong shl-sint-and-value-when-ullong shl-values-when-uint shl-uint-and-value-when-schar shl-uint-and-value-when-uchar shl-uint-and-value-when-sshort shl-uint-and-value-when-ushort shl-uint-and-value-when-sint shl-uint-and-value-when-uint shl-uint-and-value-when-slong shl-uint-and-value-when-ulong shl-uint-and-value-when-sllong shl-uint-and-value-when-ullong shl-values-when-slong shl-slong-and-value-when-schar shl-slong-and-value-when-uchar shl-slong-and-value-when-sshort shl-slong-and-value-when-ushort shl-slong-and-value-when-sint shl-slong-and-value-when-uint shl-slong-and-value-when-slong shl-slong-and-value-when-ulong shl-slong-and-value-when-sllong shl-slong-and-value-when-ullong shl-values-when-ulong shl-ulong-and-value-when-schar shl-ulong-and-value-when-uchar shl-ulong-and-value-when-sshort shl-ulong-and-value-when-ushort shl-ulong-and-value-when-sint shl-ulong-and-value-when-uint shl-ulong-and-value-when-slong shl-ulong-and-value-when-ulong shl-ulong-and-value-when-sllong shl-ulong-and-value-when-ullong shl-values-when-sllong shl-sllong-and-value-when-schar shl-sllong-and-value-when-uchar shl-sllong-and-value-when-sshort shl-sllong-and-value-when-ushort shl-sllong-and-value-when-sint shl-sllong-and-value-when-uint shl-sllong-and-value-when-slong shl-sllong-and-value-when-ulong shl-sllong-and-value-when-sllong shl-sllong-and-value-when-ullong shl-values-when-ullong shl-ullong-and-value-when-schar shl-ullong-and-value-when-uchar shl-ullong-and-value-when-sshort shl-ullong-and-value-when-ushort shl-ullong-and-value-when-sint shl-ullong-and-value-when-uint shl-ullong-and-value-when-slong shl-ullong-and-value-when-ulong shl-ullong-and-value-when-sllong shl-ullong-and-value-when-ullong exec-binary-strict-pure-when-shr shr-values-when-schar shr-schar-and-value-when-schar shr-schar-and-value-when-uchar shr-schar-and-value-when-sshort shr-schar-and-value-when-ushort shr-schar-and-value-when-sint shr-schar-and-value-when-uint shr-schar-and-value-when-slong shr-schar-and-value-when-ulong shr-schar-and-value-when-sllong shr-schar-and-value-when-ullong shr-values-when-uchar shr-uchar-and-value-when-schar shr-uchar-and-value-when-uchar shr-uchar-and-value-when-sshort shr-uchar-and-value-when-ushort shr-uchar-and-value-when-sint shr-uchar-and-value-when-uint shr-uchar-and-value-when-slong shr-uchar-and-value-when-ulong shr-uchar-and-value-when-sllong shr-uchar-and-value-when-ullong shr-values-when-sshort shr-sshort-and-value-when-schar shr-sshort-and-value-when-uchar shr-sshort-and-value-when-sshort shr-sshort-and-value-when-ushort shr-sshort-and-value-when-sint shr-sshort-and-value-when-uint shr-sshort-and-value-when-slong shr-sshort-and-value-when-ulong shr-sshort-and-value-when-sllong shr-sshort-and-value-when-ullong shr-values-when-ushort shr-ushort-and-value-when-schar shr-ushort-and-value-when-uchar shr-ushort-and-value-when-sshort shr-ushort-and-value-when-ushort shr-ushort-and-value-when-sint shr-ushort-and-value-when-uint shr-ushort-and-value-when-slong shr-ushort-and-value-when-ulong shr-ushort-and-value-when-sllong shr-ushort-and-value-when-ullong shr-values-when-sint shr-sint-and-value-when-schar shr-sint-and-value-when-uchar shr-sint-and-value-when-sshort shr-sint-and-value-when-ushort shr-sint-and-value-when-sint shr-sint-and-value-when-uint shr-sint-and-value-when-slong shr-sint-and-value-when-ulong shr-sint-and-value-when-sllong shr-sint-and-value-when-ullong shr-values-when-uint shr-uint-and-value-when-schar shr-uint-and-value-when-uchar shr-uint-and-value-when-sshort shr-uint-and-value-when-ushort shr-uint-and-value-when-sint shr-uint-and-value-when-uint shr-uint-and-value-when-slong shr-uint-and-value-when-ulong shr-uint-and-value-when-sllong shr-uint-and-value-when-ullong shr-values-when-slong shr-slong-and-value-when-schar shr-slong-and-value-when-uchar shr-slong-and-value-when-sshort shr-slong-and-value-when-ushort shr-slong-and-value-when-sint shr-slong-and-value-when-uint shr-slong-and-value-when-slong shr-slong-and-value-when-ulong shr-slong-and-value-when-sllong shr-slong-and-value-when-ullong shr-values-when-ulong shr-ulong-and-value-when-schar shr-ulong-and-value-when-uchar shr-ulong-and-value-when-sshort shr-ulong-and-value-when-ushort shr-ulong-and-value-when-sint shr-ulong-and-value-when-uint shr-ulong-and-value-when-slong shr-ulong-and-value-when-ulong shr-ulong-and-value-when-sllong shr-ulong-and-value-when-ullong shr-values-when-sllong shr-sllong-and-value-when-schar shr-sllong-and-value-when-uchar shr-sllong-and-value-when-sshort shr-sllong-and-value-when-ushort shr-sllong-and-value-when-sint shr-sllong-and-value-when-uint shr-sllong-and-value-when-slong shr-sllong-and-value-when-ulong shr-sllong-and-value-when-sllong shr-sllong-and-value-when-ullong shr-values-when-ullong shr-ullong-and-value-when-schar shr-ullong-and-value-when-uchar shr-ullong-and-value-when-sshort shr-ullong-and-value-when-ushort shr-ullong-and-value-when-sint shr-ullong-and-value-when-uint shr-ullong-and-value-when-slong shr-ullong-and-value-when-ulong shr-ullong-and-value-when-sllong shr-ullong-and-value-when-ullong exec-binary-strict-pure-when-lt lt-values-when-schar lt-schar-and-value-when-schar lt-schar-and-value-when-uchar lt-schar-and-value-when-sshort lt-schar-and-value-when-ushort lt-schar-and-value-when-sint lt-schar-and-value-when-uint lt-schar-and-value-when-slong lt-schar-and-value-when-ulong lt-schar-and-value-when-sllong lt-schar-and-value-when-ullong lt-values-when-uchar lt-uchar-and-value-when-schar lt-uchar-and-value-when-uchar lt-uchar-and-value-when-sshort lt-uchar-and-value-when-ushort lt-uchar-and-value-when-sint lt-uchar-and-value-when-uint lt-uchar-and-value-when-slong lt-uchar-and-value-when-ulong lt-uchar-and-value-when-sllong lt-uchar-and-value-when-ullong lt-values-when-sshort lt-sshort-and-value-when-schar lt-sshort-and-value-when-uchar lt-sshort-and-value-when-sshort lt-sshort-and-value-when-ushort lt-sshort-and-value-when-sint lt-sshort-and-value-when-uint lt-sshort-and-value-when-slong lt-sshort-and-value-when-ulong lt-sshort-and-value-when-sllong lt-sshort-and-value-when-ullong lt-values-when-ushort lt-ushort-and-value-when-schar lt-ushort-and-value-when-uchar lt-ushort-and-value-when-sshort lt-ushort-and-value-when-ushort lt-ushort-and-value-when-sint lt-ushort-and-value-when-uint lt-ushort-and-value-when-slong lt-ushort-and-value-when-ulong lt-ushort-and-value-when-sllong lt-ushort-and-value-when-ullong lt-values-when-sint lt-sint-and-value-when-schar lt-sint-and-value-when-uchar lt-sint-and-value-when-sshort lt-sint-and-value-when-ushort lt-sint-and-value-when-sint lt-sint-and-value-when-uint lt-sint-and-value-when-slong lt-sint-and-value-when-ulong lt-sint-and-value-when-sllong lt-sint-and-value-when-ullong lt-values-when-uint lt-uint-and-value-when-schar lt-uint-and-value-when-uchar lt-uint-and-value-when-sshort lt-uint-and-value-when-ushort lt-uint-and-value-when-sint lt-uint-and-value-when-uint lt-uint-and-value-when-slong lt-uint-and-value-when-ulong lt-uint-and-value-when-sllong lt-uint-and-value-when-ullong lt-values-when-slong lt-slong-and-value-when-schar lt-slong-and-value-when-uchar lt-slong-and-value-when-sshort lt-slong-and-value-when-ushort lt-slong-and-value-when-sint lt-slong-and-value-when-uint lt-slong-and-value-when-slong lt-slong-and-value-when-ulong lt-slong-and-value-when-sllong lt-slong-and-value-when-ullong lt-values-when-ulong lt-ulong-and-value-when-schar lt-ulong-and-value-when-uchar lt-ulong-and-value-when-sshort lt-ulong-and-value-when-ushort lt-ulong-and-value-when-sint lt-ulong-and-value-when-uint lt-ulong-and-value-when-slong lt-ulong-and-value-when-ulong lt-ulong-and-value-when-sllong lt-ulong-and-value-when-ullong lt-values-when-sllong lt-sllong-and-value-when-schar lt-sllong-and-value-when-uchar lt-sllong-and-value-when-sshort lt-sllong-and-value-when-ushort lt-sllong-and-value-when-sint lt-sllong-and-value-when-uint lt-sllong-and-value-when-slong lt-sllong-and-value-when-ulong lt-sllong-and-value-when-sllong lt-sllong-and-value-when-ullong lt-values-when-ullong lt-ullong-and-value-when-schar lt-ullong-and-value-when-uchar lt-ullong-and-value-when-sshort lt-ullong-and-value-when-ushort lt-ullong-and-value-when-sint lt-ullong-and-value-when-uint lt-ullong-and-value-when-slong lt-ullong-and-value-when-ulong lt-ullong-and-value-when-sllong lt-ullong-and-value-when-ullong exec-binary-strict-pure-when-gt gt-values-when-schar gt-schar-and-value-when-schar gt-schar-and-value-when-uchar gt-schar-and-value-when-sshort gt-schar-and-value-when-ushort gt-schar-and-value-when-sint gt-schar-and-value-when-uint gt-schar-and-value-when-slong gt-schar-and-value-when-ulong gt-schar-and-value-when-sllong gt-schar-and-value-when-ullong gt-values-when-uchar gt-uchar-and-value-when-schar gt-uchar-and-value-when-uchar gt-uchar-and-value-when-sshort gt-uchar-and-value-when-ushort gt-uchar-and-value-when-sint gt-uchar-and-value-when-uint gt-uchar-and-value-when-slong gt-uchar-and-value-when-ulong gt-uchar-and-value-when-sllong gt-uchar-and-value-when-ullong gt-values-when-sshort gt-sshort-and-value-when-schar gt-sshort-and-value-when-uchar gt-sshort-and-value-when-sshort gt-sshort-and-value-when-ushort gt-sshort-and-value-when-sint gt-sshort-and-value-when-uint gt-sshort-and-value-when-slong gt-sshort-and-value-when-ulong gt-sshort-and-value-when-sllong gt-sshort-and-value-when-ullong gt-values-when-ushort gt-ushort-and-value-when-schar gt-ushort-and-value-when-uchar gt-ushort-and-value-when-sshort gt-ushort-and-value-when-ushort gt-ushort-and-value-when-sint gt-ushort-and-value-when-uint gt-ushort-and-value-when-slong gt-ushort-and-value-when-ulong gt-ushort-and-value-when-sllong gt-ushort-and-value-when-ullong gt-values-when-sint gt-sint-and-value-when-schar gt-sint-and-value-when-uchar gt-sint-and-value-when-sshort gt-sint-and-value-when-ushort gt-sint-and-value-when-sint gt-sint-and-value-when-uint gt-sint-and-value-when-slong gt-sint-and-value-when-ulong gt-sint-and-value-when-sllong gt-sint-and-value-when-ullong gt-values-when-uint gt-uint-and-value-when-schar gt-uint-and-value-when-uchar gt-uint-and-value-when-sshort gt-uint-and-value-when-ushort gt-uint-and-value-when-sint gt-uint-and-value-when-uint gt-uint-and-value-when-slong gt-uint-and-value-when-ulong gt-uint-and-value-when-sllong gt-uint-and-value-when-ullong gt-values-when-slong gt-slong-and-value-when-schar gt-slong-and-value-when-uchar gt-slong-and-value-when-sshort gt-slong-and-value-when-ushort gt-slong-and-value-when-sint gt-slong-and-value-when-uint gt-slong-and-value-when-slong gt-slong-and-value-when-ulong gt-slong-and-value-when-sllong gt-slong-and-value-when-ullong gt-values-when-ulong gt-ulong-and-value-when-schar gt-ulong-and-value-when-uchar gt-ulong-and-value-when-sshort gt-ulong-and-value-when-ushort gt-ulong-and-value-when-sint gt-ulong-and-value-when-uint gt-ulong-and-value-when-slong gt-ulong-and-value-when-ulong gt-ulong-and-value-when-sllong gt-ulong-and-value-when-ullong gt-values-when-sllong gt-sllong-and-value-when-schar gt-sllong-and-value-when-uchar gt-sllong-and-value-when-sshort gt-sllong-and-value-when-ushort gt-sllong-and-value-when-sint gt-sllong-and-value-when-uint gt-sllong-and-value-when-slong gt-sllong-and-value-when-ulong gt-sllong-and-value-when-sllong gt-sllong-and-value-when-ullong gt-values-when-ullong gt-ullong-and-value-when-schar gt-ullong-and-value-when-uchar gt-ullong-and-value-when-sshort gt-ullong-and-value-when-ushort gt-ullong-and-value-when-sint gt-ullong-and-value-when-uint gt-ullong-and-value-when-slong gt-ullong-and-value-when-ulong gt-ullong-and-value-when-sllong gt-ullong-and-value-when-ullong exec-binary-strict-pure-when-le le-values-when-schar le-schar-and-value-when-schar le-schar-and-value-when-uchar le-schar-and-value-when-sshort le-schar-and-value-when-ushort le-schar-and-value-when-sint le-schar-and-value-when-uint le-schar-and-value-when-slong le-schar-and-value-when-ulong le-schar-and-value-when-sllong le-schar-and-value-when-ullong le-values-when-uchar le-uchar-and-value-when-schar le-uchar-and-value-when-uchar le-uchar-and-value-when-sshort le-uchar-and-value-when-ushort le-uchar-and-value-when-sint le-uchar-and-value-when-uint le-uchar-and-value-when-slong le-uchar-and-value-when-ulong le-uchar-and-value-when-sllong le-uchar-and-value-when-ullong le-values-when-sshort le-sshort-and-value-when-schar le-sshort-and-value-when-uchar le-sshort-and-value-when-sshort le-sshort-and-value-when-ushort le-sshort-and-value-when-sint le-sshort-and-value-when-uint le-sshort-and-value-when-slong le-sshort-and-value-when-ulong le-sshort-and-value-when-sllong le-sshort-and-value-when-ullong le-values-when-ushort le-ushort-and-value-when-schar le-ushort-and-value-when-uchar le-ushort-and-value-when-sshort le-ushort-and-value-when-ushort le-ushort-and-value-when-sint le-ushort-and-value-when-uint le-ushort-and-value-when-slong le-ushort-and-value-when-ulong le-ushort-and-value-when-sllong le-ushort-and-value-when-ullong le-values-when-sint le-sint-and-value-when-schar le-sint-and-value-when-uchar le-sint-and-value-when-sshort le-sint-and-value-when-ushort le-sint-and-value-when-sint le-sint-and-value-when-uint le-sint-and-value-when-slong le-sint-and-value-when-ulong le-sint-and-value-when-sllong le-sint-and-value-when-ullong le-values-when-uint le-uint-and-value-when-schar le-uint-and-value-when-uchar le-uint-and-value-when-sshort le-uint-and-value-when-ushort le-uint-and-value-when-sint le-uint-and-value-when-uint le-uint-and-value-when-slong le-uint-and-value-when-ulong le-uint-and-value-when-sllong le-uint-and-value-when-ullong le-values-when-slong le-slong-and-value-when-schar le-slong-and-value-when-uchar le-slong-and-value-when-sshort le-slong-and-value-when-ushort le-slong-and-value-when-sint le-slong-and-value-when-uint le-slong-and-value-when-slong le-slong-and-value-when-ulong le-slong-and-value-when-sllong le-slong-and-value-when-ullong le-values-when-ulong le-ulong-and-value-when-schar le-ulong-and-value-when-uchar le-ulong-and-value-when-sshort le-ulong-and-value-when-ushort le-ulong-and-value-when-sint le-ulong-and-value-when-uint le-ulong-and-value-when-slong le-ulong-and-value-when-ulong le-ulong-and-value-when-sllong le-ulong-and-value-when-ullong le-values-when-sllong le-sllong-and-value-when-schar le-sllong-and-value-when-uchar le-sllong-and-value-when-sshort le-sllong-and-value-when-ushort le-sllong-and-value-when-sint le-sllong-and-value-when-uint le-sllong-and-value-when-slong le-sllong-and-value-when-ulong le-sllong-and-value-when-sllong le-sllong-and-value-when-ullong le-values-when-ullong le-ullong-and-value-when-schar le-ullong-and-value-when-uchar le-ullong-and-value-when-sshort le-ullong-and-value-when-ushort le-ullong-and-value-when-sint le-ullong-and-value-when-uint le-ullong-and-value-when-slong le-ullong-and-value-when-ulong le-ullong-and-value-when-sllong le-ullong-and-value-when-ullong exec-binary-strict-pure-when-ge ge-values-when-schar ge-schar-and-value-when-schar ge-schar-and-value-when-uchar ge-schar-and-value-when-sshort ge-schar-and-value-when-ushort ge-schar-and-value-when-sint ge-schar-and-value-when-uint ge-schar-and-value-when-slong ge-schar-and-value-when-ulong ge-schar-and-value-when-sllong ge-schar-and-value-when-ullong ge-values-when-uchar ge-uchar-and-value-when-schar ge-uchar-and-value-when-uchar ge-uchar-and-value-when-sshort ge-uchar-and-value-when-ushort ge-uchar-and-value-when-sint ge-uchar-and-value-when-uint ge-uchar-and-value-when-slong ge-uchar-and-value-when-ulong ge-uchar-and-value-when-sllong ge-uchar-and-value-when-ullong ge-values-when-sshort ge-sshort-and-value-when-schar ge-sshort-and-value-when-uchar ge-sshort-and-value-when-sshort ge-sshort-and-value-when-ushort ge-sshort-and-value-when-sint ge-sshort-and-value-when-uint ge-sshort-and-value-when-slong ge-sshort-and-value-when-ulong ge-sshort-and-value-when-sllong ge-sshort-and-value-when-ullong ge-values-when-ushort ge-ushort-and-value-when-schar ge-ushort-and-value-when-uchar ge-ushort-and-value-when-sshort ge-ushort-and-value-when-ushort ge-ushort-and-value-when-sint ge-ushort-and-value-when-uint ge-ushort-and-value-when-slong ge-ushort-and-value-when-ulong ge-ushort-and-value-when-sllong ge-ushort-and-value-when-ullong ge-values-when-sint ge-sint-and-value-when-schar ge-sint-and-value-when-uchar ge-sint-and-value-when-sshort ge-sint-and-value-when-ushort ge-sint-and-value-when-sint ge-sint-and-value-when-uint ge-sint-and-value-when-slong ge-sint-and-value-when-ulong ge-sint-and-value-when-sllong ge-sint-and-value-when-ullong ge-values-when-uint ge-uint-and-value-when-schar ge-uint-and-value-when-uchar ge-uint-and-value-when-sshort ge-uint-and-value-when-ushort ge-uint-and-value-when-sint ge-uint-and-value-when-uint ge-uint-and-value-when-slong ge-uint-and-value-when-ulong ge-uint-and-value-when-sllong ge-uint-and-value-when-ullong ge-values-when-slong ge-slong-and-value-when-schar ge-slong-and-value-when-uchar ge-slong-and-value-when-sshort ge-slong-and-value-when-ushort ge-slong-and-value-when-sint ge-slong-and-value-when-uint ge-slong-and-value-when-slong ge-slong-and-value-when-ulong ge-slong-and-value-when-sllong ge-slong-and-value-when-ullong ge-values-when-ulong ge-ulong-and-value-when-schar ge-ulong-and-value-when-uchar ge-ulong-and-value-when-sshort ge-ulong-and-value-when-ushort ge-ulong-and-value-when-sint ge-ulong-and-value-when-uint ge-ulong-and-value-when-slong ge-ulong-and-value-when-ulong ge-ulong-and-value-when-sllong ge-ulong-and-value-when-ullong ge-values-when-sllong ge-sllong-and-value-when-schar ge-sllong-and-value-when-uchar ge-sllong-and-value-when-sshort ge-sllong-and-value-when-ushort ge-sllong-and-value-when-sint ge-sllong-and-value-when-uint ge-sllong-and-value-when-slong ge-sllong-and-value-when-ulong ge-sllong-and-value-when-sllong ge-sllong-and-value-when-ullong ge-values-when-ullong ge-ullong-and-value-when-schar ge-ullong-and-value-when-uchar ge-ullong-and-value-when-sshort ge-ullong-and-value-when-ushort ge-ullong-and-value-when-sint ge-ullong-and-value-when-uint ge-ullong-and-value-when-slong ge-ullong-and-value-when-ulong ge-ullong-and-value-when-sllong ge-ullong-and-value-when-ullong exec-binary-strict-pure-when-eq eq-values-when-schar eq-schar-and-value-when-schar eq-schar-and-value-when-uchar eq-schar-and-value-when-sshort eq-schar-and-value-when-ushort eq-schar-and-value-when-sint eq-schar-and-value-when-uint eq-schar-and-value-when-slong eq-schar-and-value-when-ulong eq-schar-and-value-when-sllong eq-schar-and-value-when-ullong eq-values-when-uchar eq-uchar-and-value-when-schar eq-uchar-and-value-when-uchar eq-uchar-and-value-when-sshort eq-uchar-and-value-when-ushort eq-uchar-and-value-when-sint eq-uchar-and-value-when-uint eq-uchar-and-value-when-slong eq-uchar-and-value-when-ulong eq-uchar-and-value-when-sllong eq-uchar-and-value-when-ullong eq-values-when-sshort eq-sshort-and-value-when-schar eq-sshort-and-value-when-uchar eq-sshort-and-value-when-sshort eq-sshort-and-value-when-ushort eq-sshort-and-value-when-sint eq-sshort-and-value-when-uint eq-sshort-and-value-when-slong eq-sshort-and-value-when-ulong eq-sshort-and-value-when-sllong eq-sshort-and-value-when-ullong eq-values-when-ushort eq-ushort-and-value-when-schar eq-ushort-and-value-when-uchar eq-ushort-and-value-when-sshort eq-ushort-and-value-when-ushort eq-ushort-and-value-when-sint eq-ushort-and-value-when-uint eq-ushort-and-value-when-slong eq-ushort-and-value-when-ulong eq-ushort-and-value-when-sllong eq-ushort-and-value-when-ullong eq-values-when-sint eq-sint-and-value-when-schar eq-sint-and-value-when-uchar eq-sint-and-value-when-sshort eq-sint-and-value-when-ushort eq-sint-and-value-when-sint eq-sint-and-value-when-uint eq-sint-and-value-when-slong eq-sint-and-value-when-ulong eq-sint-and-value-when-sllong eq-sint-and-value-when-ullong eq-values-when-uint eq-uint-and-value-when-schar eq-uint-and-value-when-uchar eq-uint-and-value-when-sshort eq-uint-and-value-when-ushort eq-uint-and-value-when-sint eq-uint-and-value-when-uint eq-uint-and-value-when-slong eq-uint-and-value-when-ulong eq-uint-and-value-when-sllong eq-uint-and-value-when-ullong eq-values-when-slong eq-slong-and-value-when-schar eq-slong-and-value-when-uchar eq-slong-and-value-when-sshort eq-slong-and-value-when-ushort eq-slong-and-value-when-sint eq-slong-and-value-when-uint eq-slong-and-value-when-slong eq-slong-and-value-when-ulong eq-slong-and-value-when-sllong eq-slong-and-value-when-ullong eq-values-when-ulong eq-ulong-and-value-when-schar eq-ulong-and-value-when-uchar eq-ulong-and-value-when-sshort eq-ulong-and-value-when-ushort eq-ulong-and-value-when-sint eq-ulong-and-value-when-uint eq-ulong-and-value-when-slong eq-ulong-and-value-when-ulong eq-ulong-and-value-when-sllong eq-ulong-and-value-when-ullong eq-values-when-sllong eq-sllong-and-value-when-schar eq-sllong-and-value-when-uchar eq-sllong-and-value-when-sshort eq-sllong-and-value-when-ushort eq-sllong-and-value-when-sint eq-sllong-and-value-when-uint eq-sllong-and-value-when-slong eq-sllong-and-value-when-ulong eq-sllong-and-value-when-sllong eq-sllong-and-value-when-ullong eq-values-when-ullong eq-ullong-and-value-when-schar eq-ullong-and-value-when-uchar eq-ullong-and-value-when-sshort eq-ullong-and-value-when-ushort eq-ullong-and-value-when-sint eq-ullong-and-value-when-uint eq-ullong-and-value-when-slong eq-ullong-and-value-when-ulong eq-ullong-and-value-when-sllong eq-ullong-and-value-when-ullong exec-binary-strict-pure-when-ne ne-values-when-schar ne-schar-and-value-when-schar ne-schar-and-value-when-uchar ne-schar-and-value-when-sshort ne-schar-and-value-when-ushort ne-schar-and-value-when-sint ne-schar-and-value-when-uint ne-schar-and-value-when-slong ne-schar-and-value-when-ulong ne-schar-and-value-when-sllong ne-schar-and-value-when-ullong ne-values-when-uchar ne-uchar-and-value-when-schar ne-uchar-and-value-when-uchar ne-uchar-and-value-when-sshort ne-uchar-and-value-when-ushort ne-uchar-and-value-when-sint ne-uchar-and-value-when-uint ne-uchar-and-value-when-slong ne-uchar-and-value-when-ulong ne-uchar-and-value-when-sllong ne-uchar-and-value-when-ullong ne-values-when-sshort ne-sshort-and-value-when-schar ne-sshort-and-value-when-uchar ne-sshort-and-value-when-sshort ne-sshort-and-value-when-ushort ne-sshort-and-value-when-sint ne-sshort-and-value-when-uint ne-sshort-and-value-when-slong ne-sshort-and-value-when-ulong ne-sshort-and-value-when-sllong ne-sshort-and-value-when-ullong ne-values-when-ushort ne-ushort-and-value-when-schar ne-ushort-and-value-when-uchar ne-ushort-and-value-when-sshort ne-ushort-and-value-when-ushort ne-ushort-and-value-when-sint ne-ushort-and-value-when-uint ne-ushort-and-value-when-slong ne-ushort-and-value-when-ulong ne-ushort-and-value-when-sllong ne-ushort-and-value-when-ullong ne-values-when-sint ne-sint-and-value-when-schar ne-sint-and-value-when-uchar ne-sint-and-value-when-sshort ne-sint-and-value-when-ushort ne-sint-and-value-when-sint ne-sint-and-value-when-uint ne-sint-and-value-when-slong ne-sint-and-value-when-ulong ne-sint-and-value-when-sllong ne-sint-and-value-when-ullong ne-values-when-uint ne-uint-and-value-when-schar ne-uint-and-value-when-uchar ne-uint-and-value-when-sshort ne-uint-and-value-when-ushort ne-uint-and-value-when-sint ne-uint-and-value-when-uint ne-uint-and-value-when-slong ne-uint-and-value-when-ulong ne-uint-and-value-when-sllong ne-uint-and-value-when-ullong ne-values-when-slong ne-slong-and-value-when-schar ne-slong-and-value-when-uchar ne-slong-and-value-when-sshort ne-slong-and-value-when-ushort ne-slong-and-value-when-sint ne-slong-and-value-when-uint ne-slong-and-value-when-slong ne-slong-and-value-when-ulong ne-slong-and-value-when-sllong ne-slong-and-value-when-ullong ne-values-when-ulong ne-ulong-and-value-when-schar ne-ulong-and-value-when-uchar ne-ulong-and-value-when-sshort ne-ulong-and-value-when-ushort ne-ulong-and-value-when-sint ne-ulong-and-value-when-uint ne-ulong-and-value-when-slong ne-ulong-and-value-when-ulong ne-ulong-and-value-when-sllong ne-ulong-and-value-when-ullong ne-values-when-sllong ne-sllong-and-value-when-schar ne-sllong-and-value-when-uchar ne-sllong-and-value-when-sshort ne-sllong-and-value-when-ushort ne-sllong-and-value-when-sint ne-sllong-and-value-when-uint ne-sllong-and-value-when-slong ne-sllong-and-value-when-ulong ne-sllong-and-value-when-sllong ne-sllong-and-value-when-ullong ne-values-when-ullong ne-ullong-and-value-when-schar ne-ullong-and-value-when-uchar ne-ullong-and-value-when-sshort ne-ullong-and-value-when-ushort ne-ullong-and-value-when-sint ne-ullong-and-value-when-uint ne-ullong-and-value-when-slong ne-ullong-and-value-when-ulong ne-ullong-and-value-when-sllong ne-ullong-and-value-when-ullong exec-binary-strict-pure-when-bitand bitand-values-when-schar bitand-schar-and-value-when-schar bitand-schar-and-value-when-uchar bitand-schar-and-value-when-sshort bitand-schar-and-value-when-ushort bitand-schar-and-value-when-sint bitand-schar-and-value-when-uint bitand-schar-and-value-when-slong bitand-schar-and-value-when-ulong bitand-schar-and-value-when-sllong bitand-schar-and-value-when-ullong bitand-values-when-uchar bitand-uchar-and-value-when-schar bitand-uchar-and-value-when-uchar bitand-uchar-and-value-when-sshort bitand-uchar-and-value-when-ushort bitand-uchar-and-value-when-sint bitand-uchar-and-value-when-uint bitand-uchar-and-value-when-slong bitand-uchar-and-value-when-ulong bitand-uchar-and-value-when-sllong bitand-uchar-and-value-when-ullong bitand-values-when-sshort bitand-sshort-and-value-when-schar bitand-sshort-and-value-when-uchar bitand-sshort-and-value-when-sshort bitand-sshort-and-value-when-ushort bitand-sshort-and-value-when-sint bitand-sshort-and-value-when-uint bitand-sshort-and-value-when-slong bitand-sshort-and-value-when-ulong bitand-sshort-and-value-when-sllong bitand-sshort-and-value-when-ullong bitand-values-when-ushort bitand-ushort-and-value-when-schar bitand-ushort-and-value-when-uchar bitand-ushort-and-value-when-sshort bitand-ushort-and-value-when-ushort bitand-ushort-and-value-when-sint bitand-ushort-and-value-when-uint bitand-ushort-and-value-when-slong bitand-ushort-and-value-when-ulong bitand-ushort-and-value-when-sllong bitand-ushort-and-value-when-ullong bitand-values-when-sint bitand-sint-and-value-when-schar bitand-sint-and-value-when-uchar bitand-sint-and-value-when-sshort bitand-sint-and-value-when-ushort bitand-sint-and-value-when-sint bitand-sint-and-value-when-uint bitand-sint-and-value-when-slong bitand-sint-and-value-when-ulong bitand-sint-and-value-when-sllong bitand-sint-and-value-when-ullong bitand-values-when-uint bitand-uint-and-value-when-schar bitand-uint-and-value-when-uchar bitand-uint-and-value-when-sshort bitand-uint-and-value-when-ushort bitand-uint-and-value-when-sint bitand-uint-and-value-when-uint bitand-uint-and-value-when-slong bitand-uint-and-value-when-ulong bitand-uint-and-value-when-sllong bitand-uint-and-value-when-ullong bitand-values-when-slong bitand-slong-and-value-when-schar bitand-slong-and-value-when-uchar bitand-slong-and-value-when-sshort bitand-slong-and-value-when-ushort bitand-slong-and-value-when-sint bitand-slong-and-value-when-uint bitand-slong-and-value-when-slong bitand-slong-and-value-when-ulong bitand-slong-and-value-when-sllong bitand-slong-and-value-when-ullong bitand-values-when-ulong bitand-ulong-and-value-when-schar bitand-ulong-and-value-when-uchar bitand-ulong-and-value-when-sshort bitand-ulong-and-value-when-ushort bitand-ulong-and-value-when-sint bitand-ulong-and-value-when-uint bitand-ulong-and-value-when-slong bitand-ulong-and-value-when-ulong bitand-ulong-and-value-when-sllong bitand-ulong-and-value-when-ullong bitand-values-when-sllong bitand-sllong-and-value-when-schar bitand-sllong-and-value-when-uchar bitand-sllong-and-value-when-sshort bitand-sllong-and-value-when-ushort bitand-sllong-and-value-when-sint bitand-sllong-and-value-when-uint bitand-sllong-and-value-when-slong bitand-sllong-and-value-when-ulong bitand-sllong-and-value-when-sllong bitand-sllong-and-value-when-ullong bitand-values-when-ullong bitand-ullong-and-value-when-schar bitand-ullong-and-value-when-uchar bitand-ullong-and-value-when-sshort bitand-ullong-and-value-when-ushort bitand-ullong-and-value-when-sint bitand-ullong-and-value-when-uint bitand-ullong-and-value-when-slong bitand-ullong-and-value-when-ulong bitand-ullong-and-value-when-sllong bitand-ullong-and-value-when-ullong exec-binary-strict-pure-when-bitxor bitxor-values-when-schar bitxor-schar-and-value-when-schar bitxor-schar-and-value-when-uchar bitxor-schar-and-value-when-sshort bitxor-schar-and-value-when-ushort bitxor-schar-and-value-when-sint bitxor-schar-and-value-when-uint bitxor-schar-and-value-when-slong bitxor-schar-and-value-when-ulong bitxor-schar-and-value-when-sllong bitxor-schar-and-value-when-ullong bitxor-values-when-uchar bitxor-uchar-and-value-when-schar bitxor-uchar-and-value-when-uchar bitxor-uchar-and-value-when-sshort bitxor-uchar-and-value-when-ushort bitxor-uchar-and-value-when-sint bitxor-uchar-and-value-when-uint bitxor-uchar-and-value-when-slong bitxor-uchar-and-value-when-ulong bitxor-uchar-and-value-when-sllong bitxor-uchar-and-value-when-ullong bitxor-values-when-sshort bitxor-sshort-and-value-when-schar bitxor-sshort-and-value-when-uchar bitxor-sshort-and-value-when-sshort bitxor-sshort-and-value-when-ushort bitxor-sshort-and-value-when-sint bitxor-sshort-and-value-when-uint bitxor-sshort-and-value-when-slong bitxor-sshort-and-value-when-ulong bitxor-sshort-and-value-when-sllong bitxor-sshort-and-value-when-ullong bitxor-values-when-ushort bitxor-ushort-and-value-when-schar bitxor-ushort-and-value-when-uchar bitxor-ushort-and-value-when-sshort bitxor-ushort-and-value-when-ushort bitxor-ushort-and-value-when-sint bitxor-ushort-and-value-when-uint bitxor-ushort-and-value-when-slong bitxor-ushort-and-value-when-ulong bitxor-ushort-and-value-when-sllong bitxor-ushort-and-value-when-ullong bitxor-values-when-sint bitxor-sint-and-value-when-schar bitxor-sint-and-value-when-uchar bitxor-sint-and-value-when-sshort bitxor-sint-and-value-when-ushort bitxor-sint-and-value-when-sint bitxor-sint-and-value-when-uint bitxor-sint-and-value-when-slong bitxor-sint-and-value-when-ulong bitxor-sint-and-value-when-sllong bitxor-sint-and-value-when-ullong bitxor-values-when-uint bitxor-uint-and-value-when-schar bitxor-uint-and-value-when-uchar bitxor-uint-and-value-when-sshort bitxor-uint-and-value-when-ushort bitxor-uint-and-value-when-sint bitxor-uint-and-value-when-uint bitxor-uint-and-value-when-slong bitxor-uint-and-value-when-ulong bitxor-uint-and-value-when-sllong bitxor-uint-and-value-when-ullong bitxor-values-when-slong bitxor-slong-and-value-when-schar bitxor-slong-and-value-when-uchar bitxor-slong-and-value-when-sshort bitxor-slong-and-value-when-ushort bitxor-slong-and-value-when-sint bitxor-slong-and-value-when-uint bitxor-slong-and-value-when-slong bitxor-slong-and-value-when-ulong bitxor-slong-and-value-when-sllong bitxor-slong-and-value-when-ullong bitxor-values-when-ulong bitxor-ulong-and-value-when-schar bitxor-ulong-and-value-when-uchar bitxor-ulong-and-value-when-sshort bitxor-ulong-and-value-when-ushort bitxor-ulong-and-value-when-sint bitxor-ulong-and-value-when-uint bitxor-ulong-and-value-when-slong bitxor-ulong-and-value-when-ulong bitxor-ulong-and-value-when-sllong bitxor-ulong-and-value-when-ullong bitxor-values-when-sllong bitxor-sllong-and-value-when-schar bitxor-sllong-and-value-when-uchar bitxor-sllong-and-value-when-sshort bitxor-sllong-and-value-when-ushort bitxor-sllong-and-value-when-sint bitxor-sllong-and-value-when-uint bitxor-sllong-and-value-when-slong bitxor-sllong-and-value-when-ulong bitxor-sllong-and-value-when-sllong bitxor-sllong-and-value-when-ullong bitxor-values-when-ullong bitxor-ullong-and-value-when-schar bitxor-ullong-and-value-when-uchar bitxor-ullong-and-value-when-sshort bitxor-ullong-and-value-when-ushort bitxor-ullong-and-value-when-sint bitxor-ullong-and-value-when-uint bitxor-ullong-and-value-when-slong bitxor-ullong-and-value-when-ulong bitxor-ullong-and-value-when-sllong bitxor-ullong-and-value-when-ullong exec-binary-strict-pure-when-bitior bitior-values-when-schar bitior-schar-and-value-when-schar bitior-schar-and-value-when-uchar bitior-schar-and-value-when-sshort bitior-schar-and-value-when-ushort bitior-schar-and-value-when-sint bitior-schar-and-value-when-uint bitior-schar-and-value-when-slong bitior-schar-and-value-when-ulong bitior-schar-and-value-when-sllong bitior-schar-and-value-when-ullong bitior-values-when-uchar bitior-uchar-and-value-when-schar bitior-uchar-and-value-when-uchar bitior-uchar-and-value-when-sshort bitior-uchar-and-value-when-ushort bitior-uchar-and-value-when-sint bitior-uchar-and-value-when-uint bitior-uchar-and-value-when-slong bitior-uchar-and-value-when-ulong bitior-uchar-and-value-when-sllong bitior-uchar-and-value-when-ullong bitior-values-when-sshort bitior-sshort-and-value-when-schar bitior-sshort-and-value-when-uchar bitior-sshort-and-value-when-sshort bitior-sshort-and-value-when-ushort bitior-sshort-and-value-when-sint bitior-sshort-and-value-when-uint bitior-sshort-and-value-when-slong bitior-sshort-and-value-when-ulong bitior-sshort-and-value-when-sllong bitior-sshort-and-value-when-ullong bitior-values-when-ushort bitior-ushort-and-value-when-schar bitior-ushort-and-value-when-uchar bitior-ushort-and-value-when-sshort bitior-ushort-and-value-when-ushort bitior-ushort-and-value-when-sint bitior-ushort-and-value-when-uint bitior-ushort-and-value-when-slong bitior-ushort-and-value-when-ulong bitior-ushort-and-value-when-sllong bitior-ushort-and-value-when-ullong bitior-values-when-sint bitior-sint-and-value-when-schar bitior-sint-and-value-when-uchar bitior-sint-and-value-when-sshort bitior-sint-and-value-when-ushort bitior-sint-and-value-when-sint bitior-sint-and-value-when-uint bitior-sint-and-value-when-slong bitior-sint-and-value-when-ulong bitior-sint-and-value-when-sllong bitior-sint-and-value-when-ullong bitior-values-when-uint bitior-uint-and-value-when-schar bitior-uint-and-value-when-uchar bitior-uint-and-value-when-sshort bitior-uint-and-value-when-ushort bitior-uint-and-value-when-sint bitior-uint-and-value-when-uint bitior-uint-and-value-when-slong bitior-uint-and-value-when-ulong bitior-uint-and-value-when-sllong bitior-uint-and-value-when-ullong bitior-values-when-slong bitior-slong-and-value-when-schar bitior-slong-and-value-when-uchar bitior-slong-and-value-when-sshort bitior-slong-and-value-when-ushort bitior-slong-and-value-when-sint bitior-slong-and-value-when-uint bitior-slong-and-value-when-slong bitior-slong-and-value-when-ulong bitior-slong-and-value-when-sllong bitior-slong-and-value-when-ullong bitior-values-when-ulong bitior-ulong-and-value-when-schar bitior-ulong-and-value-when-uchar bitior-ulong-and-value-when-sshort bitior-ulong-and-value-when-ushort bitior-ulong-and-value-when-sint bitior-ulong-and-value-when-uint bitior-ulong-and-value-when-slong bitior-ulong-and-value-when-ulong bitior-ulong-and-value-when-sllong bitior-ulong-and-value-when-ullong bitior-values-when-sllong bitior-sllong-and-value-when-schar bitior-sllong-and-value-when-uchar bitior-sllong-and-value-when-sshort bitior-sllong-and-value-when-ushort bitior-sllong-and-value-when-sint bitior-sllong-and-value-when-uint bitior-sllong-and-value-when-slong bitior-sllong-and-value-when-ulong bitior-sllong-and-value-when-sllong bitior-sllong-and-value-when-ullong bitior-values-when-ullong bitior-ullong-and-value-when-schar bitior-ullong-and-value-when-uchar bitior-ullong-and-value-when-sshort bitior-ullong-and-value-when-ushort bitior-ullong-and-value-when-sint bitior-ullong-and-value-when-uint bitior-ullong-and-value-when-slong bitior-ullong-and-value-when-ulong bitior-ullong-and-value-when-sllong bitior-ullong-and-value-when-ullong (:e binop-mul) (:e binop-div) (:e binop-rem) (:e binop-add) (:e binop-sub) (:e binop-shl) (:e binop-shr) (:e binop-lt) (:e binop-gt) (:e binop-le) (:e binop-ge) (:e binop-eq) (:e binop-ne) (:e binop-bitand) (:e binop-bitxor) (:e binop-bitior)))