[compiler-rt] r332558 - [libFuzzer] rename a test from .c to .cpp

Kostya Serebryany via llvm-commits llvm-commits at lists.llvm.org
Wed May 16 16:38:53 PDT 2018


Author: kcc
Date: Wed May 16 16:38:53 2018
New Revision: 332558

URL: http://llvm.org/viewvc/llvm-project?rev=332558&view=rev
Log:
[libFuzzer] rename a test from .c to .cpp

Added:
    compiler-rt/trunk/test/fuzzer/MultipleConstraintsOnSmallInputTest.cpp
      - copied, changed from r332557, compiler-rt/trunk/test/fuzzer/MultipleConstraintsOnSmallInputTest.c
Removed:
    compiler-rt/trunk/test/fuzzer/MultipleConstraintsOnSmallInputTest.c

Removed: compiler-rt/trunk/test/fuzzer/MultipleConstraintsOnSmallInputTest.c
URL: http://llvm.org/viewvc/llvm-project/compiler-rt/trunk/test/fuzzer/MultipleConstraintsOnSmallInputTest.c?rev=332557&view=auto
==============================================================================
--- compiler-rt/trunk/test/fuzzer/MultipleConstraintsOnSmallInputTest.c (original)
+++ compiler-rt/trunk/test/fuzzer/MultipleConstraintsOnSmallInputTest.c (removed)
@@ -1,4129 +0,0 @@
-// This file is distributed under the University of Illinois Open Source
-// License. See LICENSE.TXT for details.
-//
-// echo -en 'Im_so_cute&pretty_:)' > crash
-//
-#include <stddef.h>
-#include <stdint.h>
-#include <stdlib.h>
-#include <stdio.h>
-
-// Force noinline, as this test might be interesting for experimenting with
-// data flow tracing approach started in https://reviews.llvm.org/D46666.
-__attribute__((noinline))
-int func1(uint8_t a1, uint8_t a2) {
-  char v = (a1 ^ a2);
-  if ( v <= 15 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func2(uint8_t a1, uint8_t a2) {
-  char v = (a1 & a2);
-  if ( v > 80 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func3(uint8_t a1, uint8_t a2) {
-  char v = (a1 & a2);
-  if ( v > 48 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func4(uint8_t a1, uint8_t a2, uint8_t a3) {
-  char v = ((a1 & a2)) ^ a3;
-  if ( v > 44 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func5(uint8_t a1, uint8_t a2) {
-  char v = (a1 & a2);
-  if ( v <= 72 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func6(uint8_t a1, uint8_t a2) {
-  char v = (a1 & a2);
-  if ( v <= 72 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func7(uint8_t a1, uint8_t a2) {
-  char v = (a1 ^ a2);
-  if ( v <= 43 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func8(uint8_t a1, uint8_t a2) {
-  char v = (a1 ^ a2);
-  if ( v <= 66 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func9(uint8_t a1, uint8_t a2) {
-  char v = (a1 ^ a2);
-  if ( v > 16 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func10(uint8_t a1, uint8_t a2) {
-  char v = (a1 ^ a2);
-  if ( v > 83 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func11(uint8_t a1, uint8_t a2) {
-  char v = (a1 ^ a2);
-  if ( v <= 117 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func12(uint8_t a1, uint8_t a2) {
-  char v = a1 | a2;
-  if ( v <= 16 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func13(uint8_t a1, uint8_t a2) {
-  char v = (a1 & a2);
-  if ( v <= 80 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func14(uint8_t a1) {
-  char v = ~a1;
-  if ( v > 1 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func15(uint8_t a1, uint8_t a2) {
-  char v = a1 | a2;
-  if ( v <= 116 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func16(uint8_t a1) {
-  char v = a1 >> 5;
-  if ( v <= 0 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func17(uint8_t a1) {
-  char v = ~a1;
-  if ( v > 1 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func18(uint8_t a1, uint8_t a2) {
-  char v = (a1 ^ a2);
-  if ( v <= 28 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func19(uint8_t a1, uint8_t a2) {
-  char v = (a1 ^ a2);
-  if ( v > 18 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func20(uint8_t a1, uint8_t a2) {
-  char v = (a1 & a2);
-  if ( v <= 47 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func21(uint8_t a1, uint8_t a2, uint8_t a3) {
-  char v = (((a1 ^ a2))) & a3;
-  if ( v > 108 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func22(uint8_t a1) {
-  char v = ~a1;
-  if ( v > 1 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func23(uint8_t a1, uint8_t a2) {
-  char v = (a1 ^ a2);
-  if ( v <= 7 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func24(uint8_t a1) {
-  char v = (char)a1 >> 1;
-  if ( v <= 25 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func25(uint8_t a1) {
-  char v = ~a1;
-  if ( v > 1 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func26(uint8_t a1, uint8_t a2) {
-  char v = (a1 & a2);
-  if ( v <= 41 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func27(uint8_t a1) {
-  char v = (char)a1 >> 1;
-  if ( v <= 14 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func28(uint8_t a1) {
-  char v = ~a1;
-  if ( v > 1 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func29(uint8_t a1) {
-  char v = a1 >> 5;
-  if ( v > 48 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func30(uint8_t a1) {
-  char v = ~a1;
-  if ( v > 1 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func31(uint8_t a1, uint8_t a2) {
-  char v = (a1 ^ a2);
-  if ( v > 45 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func32(uint8_t a1, uint8_t a2) {
-  char v = (a1 & a2);
-  if ( v <= 0 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func33(uint8_t a1) {
-  char v = ~a1;
-  if ( v > 1 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func34(uint8_t a1, uint8_t a2) {
-  char v = (a1 ^ a2);
-  if ( v <= 95 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func35(uint8_t a1) {
-  char v = a1 >> 5;
-  if ( v > 12 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func36(uint8_t a1, uint8_t a2) {
-  char v = a1 | a2;
-  if ( v <= 121 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func37(uint8_t a1) {
-  char v = ~a1;
-  if ( v > 1 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func38(uint8_t a1, uint8_t a2) {
-  char v = (a1 & a2);
-  if ( v <= 61 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func39(uint8_t a1, uint8_t a2) {
-  char v = (a1 ^ a2);
-  if ( v > 94 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func40(uint8_t a1, uint8_t a2) {
-  char v = (a1 ^ a2);
-  if ( v > 125 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func41(uint8_t a1, uint8_t a2) {
-  char v = (a1 & a2);
-  if ( v <= 0 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func42(uint8_t a1, uint8_t a2, uint8_t a3) {
-  char v = (((a1 ^ a2))) & a3;
-  if ( v > 66 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func43(uint8_t a1) {
-  char v = ~a1;
-  if ( v > 1 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func44(uint8_t a1) {
-  char v = a1 >> 5;
-  if ( v <= 0 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func45(uint8_t a1) {
-  char v = ~a1;
-  if ( v > 1 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func46(uint8_t a1, uint8_t a2) {
-  char v = (a1 ^ a2);
-  if ( v > 106 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func47(uint8_t a1, uint8_t a2) {
-  char v = (a1 & a2);
-  if ( v <= 33 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func48(uint8_t a1, uint8_t a2) {
-  char v = a1 | a2;
-  if ( v <= 118 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func49(uint8_t a1, uint8_t a2) {
-  char v = (a1 & a2);
-  if ( v > 58 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func50(uint8_t a1, uint8_t a2) {
-  char v = (a1 ^ a2);
-  if ( v <= 42 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func51(uint8_t a1, uint8_t a2) {
-  char v = (a1 ^ a2);
-  if ( v <= 46 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func52(uint8_t a1, uint8_t a2) {
-  char v = (a1 & a2);
-  if ( v <= 94 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func53(uint8_t a1, uint8_t a2) {
-  char v = (a1 ^ a2);
-  if ( v <= 66 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func54(uint8_t a1, uint8_t a2) {
-  char v = (a1 ^ a2);
-  if ( v <= 23 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func55(uint8_t a1, uint8_t a2) {
-  char v = (a1 & a2);
-  if ( v <= 17 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func56(uint8_t a1, uint8_t a2) {
-  char v = (a1 & a2);
-  if ( v > 90 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func57(uint8_t a1, uint8_t a2) {
-  char v = (a1 ^ a2);
-  if ( v > 63 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func58(uint8_t a1, uint8_t a2) {
-  char v = (a1 & a2);
-  if ( v > 102 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func59(uint8_t a1, uint8_t a2) {
-  char v = (a1 & a2);
-  if ( v <= 49 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func60(uint8_t a1, uint8_t a2) {
-  char v = (a1 ^ a2);
-  if ( v > 26 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func61(uint8_t a1, uint8_t a2) {
-  char v = (a1 ^ a2);
-  if ( v > 55 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func62(uint8_t a1, uint8_t a2) {
-  char v = (a1 & a2);
-  if ( v > 103 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func63(uint8_t a1, uint8_t a2) {
-  char v = (a1 & a2);
-  if ( v <= 0 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func64(uint8_t a1, uint8_t a2) {
-  char v = (a1 ^ a2);
-  if ( v <= 34 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func65(uint8_t a1, uint8_t a2) {
-  char v = (a1 & a2);
-  if ( v > 90 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func66(uint8_t a1, uint8_t a2) {
-  char v = (a1 ^ a2);
-  if ( v > 4 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func67(uint8_t a1, uint8_t a2) {
-  char v = (a1 ^ a2);
-  if ( v > 50 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func68(uint8_t a1, uint8_t a2) {
-  char v = (a1 & a2);
-  if ( v <= 37 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func69(uint8_t a1, uint8_t a2) {
-  char v = (a1 ^ a2);
-  if ( v > 48 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func70(uint8_t a1) {
-  char v = a1 << 6;
-  if ( v > 1 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func71(uint8_t a1, uint8_t a2) {
-  char v = a1 | a2;
-  if ( v <= 85 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func72(uint8_t a1, uint8_t a2) {
-  char v = (a1 ^ a2);
-  if ( v <= 66 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func73(uint8_t a1, uint8_t a2) {
-  char v = (a1 & a2);
-  if ( v <= 30 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func74(uint8_t a1, uint8_t a2) {
-  char v = (a1 ^ a2);
-  if ( v > 118 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func75(uint8_t a1, uint8_t a2, uint8_t a3) {
-  char v = ((a1 & a2)) | a3;
-  if ( v <= 59 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func76(uint8_t a1, uint8_t a2) {
-  char v = (a1 ^ a2);
-  if ( v <= 94 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func77(uint8_t a1, uint8_t a2) {
-  char v = (a1 & a2);
-  if ( v <= 30 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func78(uint8_t a1, uint8_t a2) {
-  char v = (a1 ^ a2);
-  if ( v > 32 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func79(uint8_t a1) {
-  char v = 16 * a1;
-  if ( v > 1 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func80(uint8_t a1, uint8_t a2, uint8_t a3) {
-  char v = ((a1 ^ a2)) | a3;
-  if ( v <= 94 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func81(uint8_t a1, uint8_t a2) {
-  char v = a1 | a2;
-  if ( v > 120 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func82(uint8_t a1, uint8_t a2) {
-  char v = (a1 & a2);
-  if ( v > 81 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func83(uint8_t a1, uint8_t a2) {
-  char v = a1 | a2;
-  if ( v > 119 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func84(uint8_t a1, uint8_t a2) {
-  char v = (a1 ^ a2);
-  if ( v <= 16 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func85(uint8_t a1) {
-  char v = 2 * a1;
-  if ( v > 1 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func86(uint8_t a1, uint8_t a2) {
-  char v = a1 | a2;
-  if ( v <= 66 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func87(uint8_t a1, uint8_t a2) {
-  char v = (a1 & a2);
-  if ( v <= 84 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func88(uint8_t a1, uint8_t a2) {
-  char v = (a1 & a2);
-  if ( v > 118 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func89(uint8_t a1, uint8_t a2) {
-  char v = (a1 ^ a2);
-  if ( v > 47 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func90(uint8_t a1, uint8_t a2) {
-  char v = a1 | a2;
-  if ( v <= 60 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func91(uint8_t a1, uint8_t a2) {
-  char v = (a1 & a2);
-  if ( v <= 13 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func92(uint8_t a1, uint8_t a2) {
-  char v = (a1 ^ a2);
-  if ( v <= 38 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func93(uint8_t a1, uint8_t a2) {
-  char v = (a1 ^ a2);
-  if ( v > 67 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func94(uint8_t a1) {
-  char v = 16 * a1;
-  if ( v > 1 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func95(uint8_t a1, uint8_t a2) {
-  char v = a1 | a2;
-  if ( v <= 94 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func96(uint8_t a1, uint8_t a2) {
-  char v = (a1 & a2);
-  if ( v > 67 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func97(uint8_t a1, uint8_t a2) {
-  char v = (a1 & a2);
-  if ( v > 48 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func98(uint8_t a1, uint8_t a2) {
-  char v = (a1 ^ a2);
-  if ( v > 102 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func99(uint8_t a1, uint8_t a2) {
-  char v = (a1 ^ a2);
-  if ( v > 96 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func100(uint8_t a1, uint8_t a2, uint8_t a3) {
-  char v = ((a1 ^ a2)) | a3;
-  if ( v != 127 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func101(uint8_t a1) {
-  char v = 4 * a1;
-  if ( v > 1 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func102(uint8_t a1, uint8_t a2) {
-  char v = a1 | a2;
-  if ( v <= 43 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func103(uint8_t a1, uint8_t a2) {
-  char v = (a1 & a2);
-  if ( v > 95 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func104(uint8_t a1, uint8_t a2, uint8_t a3) {
-  char v = (((a1 ^ a2))) & a3;
-  if ( v <= 2 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func105(uint8_t a1, uint8_t a2) {
-  char v = (a1 & a2);
-  if ( v > 65 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func106(uint8_t a1, uint8_t a2) {
-  char v = (a1 ^ a2);
-  if ( v <= 24 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func107(uint8_t a1) {
-  char v = ~a1;
-  if ( v > 1 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func108(uint8_t a1, uint8_t a2) {
-  char v = (a1 ^ a2);
-  if ( v > 67 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func109(uint8_t a1) {
-  char v = 2 * a1;
-  if ( v > 1 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func110(uint8_t a1, uint8_t a2) {
-  char v = (a1 & a2);
-  if ( v > 101 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func111(uint8_t a1, uint8_t a2, uint8_t a3) {
-  char v = ((a1 & a2)) | a3;
-  if ( v <= 121 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func112(uint8_t a1, uint8_t a2) {
-  char v = (a1 ^ a2);
-  if ( v <= 40 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func113(uint8_t a1, uint8_t a2) {
-  char v = (a1 & a2);
-  if ( v > 50 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func114(uint8_t a1) {
-  char v = a1 << 6;
-  if ( v > 1 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func115(uint8_t a1, uint8_t a2) {
-  char v = a1 | a2;
-  if ( v <= 12 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func116(uint8_t a1) {
-  char v = ~a1;
-  if ( v > 1 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func117(uint8_t a1) {
-  char v = a1 >> 5;
-  if ( v > 79 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func118(uint8_t a1) {
-  char v = ~a1;
-  if ( v > 1 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func119(uint8_t a1, uint8_t a2) {
-  char v = (a1 ^ a2);
-  if ( v > 44 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func120(uint8_t a1, uint8_t a2, uint8_t a3) {
-  char v = ((a1 & a2)) | a3;
-  if ( v <= 28 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func121(uint8_t a1, uint8_t a2) {
-  char v = a1 | a2;
-  if ( v <= 93 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func122(uint8_t a1, uint8_t a2) {
-  char v = a1 | a2;
-  if ( v <= 40 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func123(uint8_t a1) {
-  char v = ~a1;
-  if ( v > 1 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func124(uint8_t a1) {
-  char v = a1 >> 5;
-  if ( v <= 0 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func125(uint8_t a1) {
-  char v = ~a1;
-  if ( v > 1 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func126(uint8_t a1) {
-  char v = ~a1;
-  if ( v > 1 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func127(uint8_t a1, uint8_t a2) {
-  char v = (a1 ^ a2);
-  if ( v > 8 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func128(uint8_t a1) {
-  char v = ~a1;
-  if ( v > 1 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func129(uint8_t a1, uint8_t a2) {
-  char v = (a1 ^ a2);
-  if ( v <= 3 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func130(uint8_t a1, uint8_t a2) {
-  char v = a1 | a2;
-  if ( v <= 102 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func131(uint8_t a1, uint8_t a2) {
-  char v = (a1 ^ a2);
-  if ( v > 68 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func132(uint8_t a1, uint8_t a2) {
-  char v = (a1 & a2);
-  if ( v > 73 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func133(uint8_t a1, uint8_t a2) {
-  char v = (a1 & a2);
-  if ( v <= 68 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func134(uint8_t a1) {
-  char v = 16 * a1;
-  if ( v > 125 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func135(uint8_t a1, uint8_t a2) {
-  char v = (a1 ^ a2);
-  if ( v > 79 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func136(uint8_t a1, uint8_t a2) {
-  char v = (a1 ^ a2);
-  if ( v > 6 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func137(uint8_t a1, uint8_t a2) {
-  char v = (a1 & a2);
-  if ( v <= 16 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func138(uint8_t a1) {
-  char v = ~a1;
-  if ( v > 1 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func139(uint8_t a1) {
-  char v = ~a1;
-  if ( v > 1 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func140(uint8_t a1) {
-  char v = a1 >> 5;
-  if ( v > 74 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func141(uint8_t a1) {
-  char v = ~a1;
-  if ( v > 1 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func142(uint8_t a1, uint8_t a2) {
-  char v = a1 | a2;
-  if ( v <= 89 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func143(uint8_t a1, uint8_t a2) {
-  char v = (a1 ^ a2);
-  if ( v > 46 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func144(uint8_t a1) {
-  char v = 16 * a1;
-  if ( v <= 29 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func145(uint8_t a1, uint8_t a2) {
-  char v = a1 | a2;
-  if ( v <= 77 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func146(uint8_t a1, uint8_t a2) {
-  char v = (a1 ^ a2);
-  if ( v > 12 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func147(uint8_t a1) {
-  char v = ~a1;
-  if ( v > 1 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func148(uint8_t a1) {
-  char v = a1 >> 5;
-  if ( v > 27 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func149(uint8_t a1) {
-  char v = ~a1;
-  if ( v > 1 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func150(uint8_t a1, uint8_t a2) {
-  char v = a1 | a2;
-  if ( v > 122 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func151(uint8_t a1, uint8_t a2) {
-  char v = (a1 ^ a2);
-  if ( v <= 3 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func152(uint8_t a1, uint8_t a2) {
-  char v = (a1 & a2);
-  if ( v <= 56 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func153(uint8_t a1) {
-  char v = 16 * a1;
-  if ( v <= 3 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func154(uint8_t a1, uint8_t a2) {
-  char v = (a1 ^ a2);
-  if ( v > 43 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func155(uint8_t a1, uint8_t a2) {
-  char v = (a1 ^ a2);
-  if ( v <= 16 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func156(uint8_t a1) {
-  char v = ~a1;
-  if ( v > 1 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func157(uint8_t a1) {
-  char v = ~a1;
-  if ( v > 1 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func158(uint8_t a1) {
-  char v = ~a1;
-  if ( v > 1 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func159(uint8_t a1) {
-  char v = a1 >> 5;
-  if ( v > 88 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func160(uint8_t a1) {
-  char v = ~a1;
-  if ( v > 33 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func161(uint8_t a1, uint8_t a2) {
-  char v = (a1 ^ a2);
-  if ( v > 46 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func162(uint8_t a1) {
-  char v = ~a1;
-  if ( v > 1 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func163(uint8_t a1, uint8_t a2, uint8_t a3) {
-  char v = ((a1 & a2)) | a3;
-  if ( v <= 9 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func164(uint8_t a1, uint8_t a2) {
-  char v = (a1 ^ a2);
-  if ( v > 96 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func165(uint8_t a1) {
-  char v = ~a1;
-  if ( v > 1 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func166(uint8_t a1) {
-  char v = ~a1;
-  if ( v > 1 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func167(uint8_t a1) {
-  char v = a1 >> 5;
-  if ( v > 91 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func168(uint8_t a1) {
-  char v = ~a1;
-  if ( v > 1 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func169(uint8_t a1, uint8_t a2) {
-  char v = a1 | a2;
-  if ( v <= 32 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func170(uint8_t a1, uint8_t a2) {
-  char v = (a1 & a2);
-  if ( v <= 32 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func171(uint8_t a1) {
-  char v = ~a1;
-  if ( v > 1 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func172(uint8_t a1) {
-  char v = ~a1;
-  if ( v > 1 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func173(uint8_t a1) {
-  char v = ~a1;
-  if ( v > 1 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func174(uint8_t a1, uint8_t a2) {
-  char v = a1 | a2;
-  if ( v <= 90 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func175(uint8_t a1, uint8_t a2) {
-  char v = (a1 ^ a2);
-  if ( v > 32 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func176(uint8_t a1) {
-  char v = 16 * a1;
-  if ( v <= 61 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func177(uint8_t a1, uint8_t a2) {
-  char v = (a1 ^ a2);
-  if ( v <= 33 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func178(uint8_t a1) {
-  char v = a1 >> 5;
-  if ( v > 16 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func179(uint8_t a1) {
-  char v = ~a1;
-  if ( v > 64 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func180(uint8_t a1, uint8_t a2) {
-  char v = a1 | a2;
-  if ( v <= 95 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func181(uint8_t a1, uint8_t a2) {
-  char v = (a1 ^ a2);
-  if ( v > 48 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func182(uint8_t a1, uint8_t a2) {
-  char v = (a1 & a2);
-  if ( v > 113 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func183(uint8_t a1, uint8_t a2) {
-  char v = (a1 ^ a2);
-  if ( v <= 41 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func184(uint8_t a1) {
-  char v = 16 * a1;
-  if ( v <= 63 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func185(uint8_t a1) {
-  char v = ~a1;
-  if ( v > 1 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func186(uint8_t a1, uint8_t a2) {
-  char v = (a1 & a2);
-  if ( v <= 94 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func187(uint8_t a1, uint8_t a2) {
-  char v = (a1 ^ a2);
-  if ( v > 43 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func188(uint8_t a1) {
-  char v = (char)a1 >> 1;
-  if ( v <= 57 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func189(uint8_t a1) {
-  char v = ~a1;
-  if ( v > 1 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func190(uint8_t a1, uint8_t a2) {
-  char v = (a1 & a2);
-  if ( v > 103 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func191(uint8_t a1) {
-  char v = (char)a1 >> 1;
-  if ( v > 92 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func192(uint8_t a1) {
-  char v = ~a1;
-  if ( v > 1 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func193(uint8_t a1, uint8_t a2, uint8_t a3) {
-  char v = ((a1 & a2)) | a3;
-  if ( v <= 16 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func194(uint8_t a1, uint8_t a2) {
-  char v = a1 | a2;
-  if ( v <= 20 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func195(uint8_t a1, uint8_t a2) {
-  char v = (a1 ^ a2);
-  if ( v > 82 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func196(uint8_t a1, uint8_t a2) {
-  char v = a1 | a2;
-  if ( v > 117 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func197(uint8_t a1, uint8_t a2) {
-  char v = (a1 & a2);
-  if ( v <= 50 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func198(uint8_t a1, uint8_t a2) {
-  char v = (a1 ^ a2);
-  if ( v > 118 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func199(uint8_t a1, uint8_t a2) {
-  char v = (a1 ^ a2);
-  if ( v == 127 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func200(uint8_t a1) {
-  char v = ~a1;
-  if ( v > 1 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func201(uint8_t a1, uint8_t a2) {
-  char v = (a1 & a2);
-  if ( v <= 67 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func202(uint8_t a1, uint8_t a2) {
-  char v = (a1 & a2);
-  if ( v <= 56 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func203(uint8_t a1) {
-  char v = (char)a1 >> 1;
-  if ( v > 95 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func204(uint8_t a1) {
-  char v = ~a1;
-  if ( v > 1 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func205(uint8_t a1, uint8_t a2, uint8_t a3) {
-  char v = ((a1 ^ a2)) | a3;
-  if ( v > 95 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func206(uint8_t a1, uint8_t a2) {
-  char v = (a1 & a2);
-  if ( v <= 78 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func207(uint8_t a1) {
-  char v = (char)a1 >> 1;
-  if ( v <= 7 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func208(uint8_t a1) {
-  char v = a1 >> 5;
-  if ( v > 123 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func209(uint8_t a1) {
-  char v = ~a1;
-  if ( v > 1 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func210(uint8_t a1, uint8_t a2) {
-  char v = a1 | a2;
-  if ( v <= 101 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func211(uint8_t a1, uint8_t a2) {
-  char v = (a1 & a2);
-  if ( v <= 61 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func212(uint8_t a1) {
-  char v = 16 * a1;
-  if ( v <= 73 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func213(uint8_t a1, uint8_t a2) {
-  char v = (a1 ^ a2);
-  if ( v <= 34 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func214(uint8_t a1) {
-  char v = ~a1;
-  if ( v > 1 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func215(uint8_t a1, uint8_t a2) {
-  char v = (a1 & a2);
-  if ( v <= 5 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func216(uint8_t a1) {
-  char v = ~a1;
-  if ( v > 85 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func217(uint8_t a1, uint8_t a2) {
-  char v = (a1 & a2);
-  if ( v > 113 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func218(uint8_t a1) {
-  char v = (char)a1 >> 1;
-  if ( v > 61 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func219(uint8_t a1) {
-  char v = (char)a1 >> 1;
-  if ( v > 90 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func220(uint8_t a1) {
-  char v = a1 >> 5;
-  if ( v > 106 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func221(uint8_t a1) {
-  char v = ~a1;
-  if ( v > 1 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func222(uint8_t a1, uint8_t a2) {
-  char v = (a1 ^ a2);
-  if ( v > 84 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func223(uint8_t a1, uint8_t a2) {
-  char v = (a1 & a2);
-  if ( v > 81 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func224(uint8_t a1) {
-  char v = ~a1;
-  if ( v > 1 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func225(uint8_t a1) {
-  char v = a1 >> 5;
-  if ( v > 49 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func226(uint8_t a1) {
-  char v = ~a1;
-  if ( v > 1 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func227(uint8_t a1, uint8_t a2) {
-  char v = (a1 ^ a2);
-  if ( v > 66 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func228(uint8_t a1, uint8_t a2) {
-  char v = (a1 & a2);
-  if ( v > 81 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func229(uint8_t a1, uint8_t a2) {
-  char v = (a1 & a2);
-  if ( v > 41 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func230(uint8_t a1, uint8_t a2) {
-  char v = (a1 ^ a2);
-  if ( v > 82 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func231(uint8_t a1, uint8_t a2) {
-  char v = (a1 & a2);
-  if ( v > 84 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func232(uint8_t a1, uint8_t a2) {
-  char v = (a1 & a2);
-  if ( v <= 34 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func233(uint8_t a1, uint8_t a2) {
-  char v = (a1 & a2);
-  if ( v > 66 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func234(uint8_t a1, uint8_t a2) {
-  char v = (a1 & a2);
-  if ( v > 90 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func235(uint8_t a1, uint8_t a2) {
-  char v = (a1 & a2);
-  if ( v > 73 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func236(uint8_t a1, uint8_t a2) {
-  char v = (a1 & a2);
-  if ( v <= 12 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func237(uint8_t a1, uint8_t a2) {
-  char v = (a1 ^ a2);
-  if ( v <= 9 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func238(uint8_t a1, uint8_t a2) {
-  char v = (a1 ^ a2);
-  if ( v <= 42 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func239(uint8_t a1, uint8_t a2) {
-  char v = (a1 ^ a2);
-  if ( v > 44 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func240(uint8_t a1, uint8_t a2) {
-  char v = (a1 & a2);
-  if ( v <= 14 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func241(uint8_t a1, uint8_t a2) {
-  char v = (a1 & a2);
-  if ( v <= 16 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func242(uint8_t a1, uint8_t a2) {
-  char v = (a1 & a2);
-  if ( v > 74 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func243(uint8_t a1, uint8_t a2) {
-  char v = (a1 ^ a2);
-  if ( v > 102 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func244(uint8_t a1) {
-  char v = 4 * a1;
-  if ( v <= 16 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func245(uint8_t a1, uint8_t a2) {
-  char v = a1 | a2;
-  if ( v <= 87 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func246(uint8_t a1, uint8_t a2) {
-  char v = (a1 ^ a2);
-  if ( v > 29 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func247(uint8_t a1, uint8_t a2) {
-  char v = (a1 & a2);
-  if ( v > 51 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func248(uint8_t a1, uint8_t a2) {
-  char v = (a1 ^ a2);
-  if ( v > 74 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func249(uint8_t a1) {
-  char v = 4 * a1;
-  if ( v <= 103 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func250(uint8_t a1, uint8_t a2) {
-  char v = a1 | a2;
-  if ( v <= 56 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func251(uint8_t a1, uint8_t a2) {
-  char v = (a1 ^ a2);
-  if ( v <= 11 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func252(uint8_t a1, uint8_t a2) {
-  char v = (a1 & a2);
-  if ( v <= 16 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func253(uint8_t a1, uint8_t a2) {
-  char v = (a1 & a2);
-  if ( v <= 22 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func254(uint8_t a1, uint8_t a2, uint8_t a3) {
-  char v = ((a1 & a2)) | a3;
-  if ( v > 122 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func255(uint8_t a1, uint8_t a2) {
-  char v = (a1 ^ a2);
-  if ( v > 74 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func256(uint8_t a1) {
-  char v = 4 * a1;
-  if ( v <= 16 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func257(uint8_t a1, uint8_t a2) {
-  char v = (a1 ^ a2);
-  if ( v > 67 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func258(uint8_t a1, uint8_t a2) {
-  char v = (a1 & a2);
-  if ( v > 102 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func259(uint8_t a1, uint8_t a2) {
-  char v = (a1 ^ a2);
-  if ( v > 74 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func260(uint8_t a1, uint8_t a2) {
-  char v = a1 | a2;
-  if ( v <= 27 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func261(uint8_t a1) {
-  char v = 4 * a1;
-  if ( v <= 58 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func262(uint8_t a1) {
-  char v = 4 * a1;
-  if ( v <= 77 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func263(uint8_t a1, uint8_t a2) {
-  char v = a1 | a2;
-  if ( v <= 3 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func264(uint8_t a1, uint8_t a2) {
-  char v = (a1 & a2);
-  if ( v <= 13 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func265(uint8_t a1, uint8_t a2) {
-  char v = (a1 ^ a2);
-  if ( v > 47 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func266(uint8_t a1, uint8_t a2) {
-  char v = (a1 & a2);
-  if ( v <= 39 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func267(uint8_t a1, uint8_t a2) {
-  char v = a1 | a2;
-  if ( v == 127 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func268(uint8_t a1, uint8_t a2) {
-  char v = a1 | a2;
-  if ( v <= 66 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func269(uint8_t a1, uint8_t a2) {
-  char v = (a1 & a2);
-  if ( v <= 47 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func270(uint8_t a1, uint8_t a2) {
-  char v = (a1 & a2);
-  if ( v > 63 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func271(uint8_t a1, uint8_t a2) {
-  char v = (a1 & a2);
-  if ( v > 122 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func272(uint8_t a1) {
-  char v = 4 * a1;
-  if ( v <= 65 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func273(uint8_t a1, uint8_t a2) {
-  char v = (a1 & a2);
-  if ( v > 120 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func274(uint8_t a1) {
-  char v = 4 * a1;
-  if ( v <= 83 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func275(uint8_t a1, uint8_t a2) {
-  char v = a1 | a2;
-  if ( v <= 99 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func276(uint8_t a1) {
-  char v = ~a1;
-  if ( v > 1 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func277(uint8_t a1) {
-  char v = a1 >> 5;
-  if ( v > 42 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func278(uint8_t a1) {
-  char v = ~a1;
-  if ( v > 1 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func279(uint8_t a1, uint8_t a2) {
-  char v = (a1 ^ a2);
-  if ( v > 110 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func280(uint8_t a1) {
-  char v = 4 * a1;
-  if ( v <= 92 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func281(uint8_t a1, uint8_t a2) {
-  char v = a1 | a2;
-  if ( v <= 59 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func282(uint8_t a1, uint8_t a2) {
-  char v = a1 | a2;
-  if ( v <= 1 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func283(uint8_t a1) {
-  char v = ~a1;
-  if ( v > 1 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func284(uint8_t a1) {
-  char v = ~a1;
-  if ( v > 1 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func285(uint8_t a1) {
-  char v = ~a1;
-  if ( v > 17 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func286(uint8_t a1) {
-  char v = ~a1;
-  if ( v > 1 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func287(uint8_t a1, uint8_t a2) {
-  char v = a1 | a2;
-  if ( v <= 78 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func288(uint8_t a1, uint8_t a2) {
-  char v = (a1 ^ a2);
-  if ( v > 47 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func289(uint8_t a1, uint8_t a2) {
-  char v = (a1 & a2);
-  if ( v <= 90 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func290(uint8_t a1) {
-  char v = 16 * a1;
-  if ( v <= 78 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func291(uint8_t a1, uint8_t a2) {
-  char v = (a1 ^ a2);
-  if ( v <= 30 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func292(uint8_t a1) {
-  char v = ~a1;
-  if ( v > 1 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func293(uint8_t a1) {
-  char v = ~a1;
-  if ( v > 1 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func294(uint8_t a1) {
-  char v = ~a1;
-  if ( v > 1 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func295(uint8_t a1, uint8_t a2) {
-  char v = a1 | a2;
-  if ( v <= 17 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func296(uint8_t a1, uint8_t a2) {
-  char v = (a1 ^ a2);
-  if ( v > 86 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func297(uint8_t a1, uint8_t a2) {
-  char v = (a1 & a2);
-  if ( v > 120 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func298(uint8_t a1) {
-  char v = 16 * a1;
-  if ( v <= 46 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func299(uint8_t a1, uint8_t a2) {
-  char v = (a1 ^ a2);
-  if ( v > 63 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func300(uint8_t a1, uint8_t a2) {
-  char v = (a1 ^ a2);
-  if ( v <= 5 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func301(uint8_t a1) {
-  char v = ~a1;
-  if ( v > 17 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func302(uint8_t a1) {
-  char v = ~a1;
-  if ( v > 113 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func303(uint8_t a1) {
-  char v = ~a1;
-  if ( v > 1 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func304(uint8_t a1, uint8_t a2) {
-  char v = a1 | a2;
-  if ( v <= 73 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func305(uint8_t a1, uint8_t a2) {
-  char v = (a1 ^ a2);
-  if ( v > 60 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func306(uint8_t a1, uint8_t a2) {
-  char v = (a1 & a2);
-  if ( v > 119 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func307(uint8_t a1) {
-  char v = ~a1;
-  if ( v > 21 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func308(uint8_t a1) {
-  char v = ~a1;
-  if ( v > 107 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func309(uint8_t a1, uint8_t a2) {
-  char v = (a1 ^ a2);
-  if ( v > 44 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func310(uint8_t a1, uint8_t a2) {
-  char v = (a1 & a2);
-  if ( v <= 57 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func311(uint8_t a1, uint8_t a2) {
-  char v = (a1 ^ a2);
-  if ( v > 59 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func312(uint8_t a1) {
-  char v = ~a1;
-  if ( v > 1 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func313(uint8_t a1) {
-  char v = ~a1;
-  if ( v > 1 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func314(uint8_t a1) {
-  char v = a1 >> 5;
-  if ( v > 58 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func315(uint8_t a1) {
-  char v = ~a1;
-  if ( v > 1 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func316(uint8_t a1, uint8_t a2) {
-  char v = a1 | a2;
-  if ( v <= 101 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func317(uint8_t a1, uint8_t a2) {
-  char v = (a1 & a2);
-  if ( v <= 99 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func318(uint8_t a1) {
-  char v = 16 * a1;
-  if ( v <= 78 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func319(uint8_t a1, uint8_t a2) {
-  char v = (a1 ^ a2);
-  if ( v > 16 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func320(uint8_t a1) {
-  char v = ~a1;
-  if ( v > 10 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func321(uint8_t a1) {
-  char v = ~a1;
-  if ( v > 1 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func322(uint8_t a1) {
-  char v = a1 >> 5;
-  if ( v > 3 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func323(uint8_t a1) {
-  char v = ~a1;
-  if ( v > 1 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func324(uint8_t a1, uint8_t a2) {
-  char v = a1 | a2;
-  if ( v > 118 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func325(uint8_t a1, uint8_t a2) {
-  char v = (a1 ^ a2);
-  if ( v <= 1 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func326(uint8_t a1) {
-  char v = 16 * a1;
-  if ( v <= 0 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func327(uint8_t a1, uint8_t a2) {
-  char v = (a1 ^ a2);
-  if ( v > 101 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func328(uint8_t a1) {
-  char v = a1 >> 5;
-  if ( v > 18 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func329(uint8_t a1) {
-  char v = ~a1;
-  if ( v > 1 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func330(uint8_t a1, uint8_t a2) {
-  char v = a1 | a2;
-  if ( v <= 0 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func331(uint8_t a1, uint8_t a2) {
-  char v = (a1 ^ a2);
-  if ( v > 67 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func332(uint8_t a1, uint8_t a2) {
-  char v = (a1 & a2);
-  if ( v > 103 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func333(uint8_t a1) {
-  char v = 16 * a1;
-  if ( v > 1 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func334(uint8_t a1, uint8_t a2) {
-  char v = (a1 ^ a2);
-  if ( v <= 38 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func335(uint8_t a1) {
-  char v = ~a1;
-  if ( v > 1 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func336(uint8_t a1, uint8_t a2) {
-  char v = (a1 & a2);
-  if ( v <= 94 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func337(uint8_t a1) {
-  char v = (char)a1 >> 1;
-  if ( v > 63 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func338(uint8_t a1) {
-  char v = ~a1;
-  if ( v > 1 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func339(uint8_t a1) {
-  char v = (char)a1 >> 1;
-  if ( v <= 47 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func340(uint8_t a1) {
-  char v = a1 >> 5;
-  if ( v <= 0 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func341(uint8_t a1) {
-  char v = ~a1;
-  if ( v > 1 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func342(uint8_t a1, uint8_t a2) {
-  char v = a1 | a2;
-  if ( v > 118 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func343(uint8_t a1, uint8_t a2) {
-  char v = (a1 ^ a2);
-  if ( v > 58 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func344(uint8_t a1, uint8_t a2) {
-  char v = (a1 & a2);
-  if ( v <= 91 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func345(uint8_t a1) {
-  char v = 16 * a1;
-  if ( v <= 72 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func346(uint8_t a1, uint8_t a2) {
-  char v = (a1 ^ a2);
-  if ( v > 63 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func347(uint8_t a1) {
-  char v = ~a1;
-  if ( v > 1 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func348(uint8_t a1, uint8_t a2) {
-  char v = (a1 & a2);
-  if ( v <= 94 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func349(uint8_t a1) {
-  char v = (char)a1 >> 1;
-  if ( v <= 57 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func350(uint8_t a1) {
-  char v = ~a1;
-  if ( v > 1 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func351(uint8_t a1, uint8_t a2) {
-  char v = (a1 & a2);
-  if ( v > 99 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func352(uint8_t a1) {
-  char v = (char)a1 >> 1;
-  if ( v > 63 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func353(uint8_t a1) {
-  char v = a1 >> 5;
-  if ( v > 81 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func354(uint8_t a1) {
-  char v = ~a1;
-  if ( v > 1 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func355(uint8_t a1, uint8_t a2) {
-  char v = a1 | a2;
-  if ( v > 118 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func356(uint8_t a1, uint8_t a2) {
-  char v = (a1 ^ a2);
-  if ( v > 1 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func357(uint8_t a1, uint8_t a2) {
-  char v = (a1 & a2);
-  if ( v <= 72 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func358(uint8_t a1) {
-  char v = 16 * a1;
-  if ( v > 1 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func359(uint8_t a1, uint8_t a2) {
-  char v = (a1 ^ a2);
-  if ( v > 110 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func360(uint8_t a1) {
-  char v = ~a1;
-  if ( v > 1 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func361(uint8_t a1, uint8_t a2) {
-  char v = (a1 & a2);
-  if ( v <= 68 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func362(uint8_t a1) {
-  char v = (char)a1 >> 1;
-  if ( v > 91 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func363(uint8_t a1) {
-  char v = ~a1;
-  if ( v > 1 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func364(uint8_t a1, uint8_t a2) {
-  char v = (a1 & a2);
-  if ( v > 99 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func365(uint8_t a1) {
-  char v = (char)a1 >> 1;
-  if ( v <= 40 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func366(uint8_t a1) {
-  char v = (char)a1 >> 1;
-  if ( v <= 31 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func367(uint8_t a1) {
-  char v = ~a1;
-  if ( v > 1 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func368(uint8_t a1) {
-  char v = a1 >> 5;
-  if ( v > 96 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func369(uint8_t a1) {
-  char v = ~a1;
-  if ( v > 1 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func370(uint8_t a1, uint8_t a2) {
-  char v = (a1 ^ a2);
-  if ( v > 42 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func371(uint8_t a1, uint8_t a2) {
-  char v = (a1 & a2);
-  if ( v > 118 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func372(uint8_t a1) {
-  char v = (char)a1 >> 1;
-  if ( v > 94 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func373(uint8_t a1) {
-  char v = ~a1;
-  if ( v > 1 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func374(uint8_t a1) {
-  char v = ~a1;
-  if ( v > 1 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func375(uint8_t a1, uint8_t a2) {
-  char v = (a1 ^ a2);
-  if ( v > 64 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func376(uint8_t a1, uint8_t a2) {
-  char v = (a1 & a2);
-  if ( v > 110 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func377(uint8_t a1) {
-  char v = 4 * a1;
-  if ( v <= 104 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func378(uint8_t a1, uint8_t a2) {
-  char v = a1 | a2;
-  if ( v > 112 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func379(uint8_t a1, uint8_t a2) {
-  char v = (a1 & a2);
-  if ( v <= 62 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func380(uint8_t a1, uint8_t a2) {
-  char v = (a1 & a2);
-  if ( v > 48 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func381(uint8_t a1, uint8_t a2) {
-  char v = (a1 ^ a2);
-  if ( v > 58 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func382(uint8_t a1) {
-  char v = 4 * a1;
-  if ( v <= 104 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func383(uint8_t a1, uint8_t a2) {
-  char v = a1 | a2;
-  if ( v <= 50 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func384(uint8_t a1, uint8_t a2) {
-  char v = (a1 & a2);
-  if ( v <= 38 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func385(uint8_t a1, uint8_t a2) {
-  char v = (a1 & a2);
-  if ( v > 85 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func386(uint8_t a1, uint8_t a2) {
-  char v = (a1 ^ a2);
-  if ( v <= 18 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func387(uint8_t a1) {
-  char v = 4 * a1;
-  if ( v <= 97 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func388(uint8_t a1, uint8_t a2) {
-  char v = a1 | a2;
-  if ( v <= 94 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func389(uint8_t a1, uint8_t a2) {
-  char v = (a1 & a2);
-  if ( v <= 26 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func390(uint8_t a1, uint8_t a2) {
-  char v = (a1 ^ a2);
-  if ( v > 67 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func391(uint8_t a1) {
-  char v = 4 * a1;
-  if ( v <= 103 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func392(uint8_t a1, uint8_t a2) {
-  char v = (a1 & a2);
-  if ( v > 50 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func393(uint8_t a1, uint8_t a2) {
-  char v = (a1 ^ a2);
-  if ( v <= 22 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func394(uint8_t a1) {
-  char v = 4 * a1;
-  if ( v <= 103 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func395(uint8_t a1, uint8_t a2) {
-  char v = a1 | a2;
-  if ( v <= 38 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func396(uint8_t a1, uint8_t a2) {
-  char v = (a1 & a2);
-  if ( v <= 52 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func397(uint8_t a1, uint8_t a2) {
-  char v = (a1 & a2);
-  if ( v <= 17 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func398(uint8_t a1) {
-  char v = 4 * a1;
-  if ( v > 1 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func399(uint8_t a1, uint8_t a2) {
-  char v = a1 | a2;
-  if ( v <= 92 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func400(uint8_t a1, uint8_t a2) {
-  char v = (a1 & a2);
-  if ( v <= 55 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func401(uint8_t a1, uint8_t a2) {
-  char v = (a1 ^ a2);
-  if ( v > 81 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func402(uint8_t a1) {
-  char v = 4 * a1;
-  if ( v > 1 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func403(uint8_t a1, uint8_t a2) {
-  char v = a1 | a2;
-  if ( v <= 94 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func404(uint8_t a1) {
-  char v = ~a1;
-  if ( v > 1 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func405(uint8_t a1) {
-  char v = ~a1;
-  if ( v > 1 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func406(uint8_t a1, uint8_t a2) {
-  char v = (a1 ^ a2);
-  if ( v > 101 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func407(uint8_t a1) {
-  char v = 4 * a1;
-  if ( v > 1 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func408(uint8_t a1, uint8_t a2) {
-  char v = a1 | a2;
-  if ( v <= 44 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func409(uint8_t a1) {
-  char v = ~a1;
-  if ( v > 1 )
-    return 0;
-  return 1;
-}
-
-__attribute__((noinline))
-int func410(uint8_t a1) {
-  char v = ~a1;
-  if ( v > 1 )
-    return 0;
-  return 1;
-}
-
-int api(const uint8_t *data, size_t size) {
-  if (size != 20) return 0;
-
-  if (func1(data[0], data[1]) == 0)
-    return 0;
-  if (func2(data[0], data[1]) == 0)
-    return 0;
-  if (func3(data[18], data[1]) == 0)
-    return 0;
-  if (func4(data[7], data[4], data[0]) == 0)
-    return 0;
-  if (func5(data[0], data[2]) == 0)
-    return 0;
-  if (func6(data[11], data[17]) == 0)
-    return 0;
-  if (func7(data[0], data[13]) == 0)
-    return 0;
-  if (func8(data[13], data[10]) == 0)
-    return 0;
-  if (func9(data[11], data[16]) == 0)
-    return 0;
-  if (func10(data[10], data[8]) == 0)
-    return 0;
-  if (func11(data[19], data[5]) == 0)
-    return 0;
-  if (func12(data[0], data[1]) == 0)
-    return 0;
-  if (func13(data[17], data[3]) == 0)
-    return 0;
-  if (func14(data[14]) == 0)
-    return 0;
-  if (func15(data[13], data[15]) == 0)
-    return 0;
-  if (func16(data[0]) == 0)
-    return 0;
-  if (func17(data[19]) == 0)
-    return 0;
-  if (func18(data[1], data[11]) == 0)
-    return 0;
-  if (func19(data[12], data[15]) == 0)
-    return 0;
-  if (func20(data[13], data[1]) == 0)
-    return 0;
-  if (func21(data[10], data[19], data[12]) == 0)
-    return 0;
-  if (func22(data[6]) == 0)
-    return 0;
-  if (func23(data[1], data[9]) == 0)
-    return 0;
-  if (func24(data[16]) == 0)
-    return 0;
-  if (func25(data[6]) == 0)
-    return 0;
-  if (func26(data[4], data[12]) == 0)
-    return 0;
-  if (func27(data[16]) == 0)
-    return 0;
-  if (func28(data[14]) == 0)
-    return 0;
-  if (func29(data[0]) == 0)
-    return 0;
-  if (func30(data[19]) == 0)
-    return 0;
-  if (func31(data[0], data[1]) == 0)
-    return 0;
-  if (func32(data[0], data[1]) == 0)
-    return 0;
-  if (func33(data[14]) == 0)
-    return 0;
-  if (func34(data[0], data[19]) == 0)
-    return 0;
-  if (func35(data[0]) == 0)
-    return 0;
-  if (func36(data[16], data[7]) == 0)
-    return 0;
-  if (func37(data[19]) == 0)
-    return 0;
-  if (func38(data[15], data[3]) == 0)
-    return 0;
-  if (func39(data[19], data[15]) == 0)
-    return 0;
-  if (func40(data[0], data[1]) == 0)
-    return 0;
-  if (func41(data[18], data[1]) == 0)
-    return 0;
-  if (func42(data[16], data[5], data[1]) == 0)
-    return 0;
-  if (func43(data[14]) == 0)
-    return 0;
-  if (func44(data[0]) == 0)
-    return 0;
-  if (func45(data[19]) == 0)
-    return 0;
-  if (func46(data[4], data[19]) == 0)
-    return 0;
-  if (func47(data[8], data[7]) == 0)
-    return 0;
-  if (func48(data[6], data[7]) == 0)
-    return 0;
-  if (func49(data[18], data[1]) == 0)
-    return 0;
-  if (func50(data[2], data[8]) == 0)
-    return 0;
-  if (func51(data[2], data[13]) == 0)
-    return 0;
-  if (func52(data[3], data[8]) == 0)
-    return 0;
-  if (func53(data[16], data[18]) == 0)
-    return 0;
-  if (func54(data[10], data[9]) == 0)
-    return 0;
-  if (func55(data[18], data[1]) == 0)
-    return 0;
-  if (func56(data[0], data[1]) == 0)
-    return 0;
-  if (func57(data[16], data[1]) == 0)
-    return 0;
-  if (func58(data[18], data[1]) == 0)
-    return 0;
-  if (func59(data[18], data[3]) == 0)
-    return 0;
-  if (func60(data[9], data[1]) == 0)
-    return 0;
-  if (func61(data[0], data[1]) == 0)
-    return 0;
-  if (func62(data[13], data[1]) == 0)
-    return 0;
-  if (func63(data[18], data[1]) == 0)
-    return 0;
-  if (func64(data[0], data[1]) == 0)
-    return 0;
-  if (func65(data[0], data[1]) == 0)
-    return 0;
-  if (func66(data[11], data[14]) == 0)
-    return 0;
-  if (func67(data[5], data[11]) == 0)
-    return 0;
-  if (func68(data[18], data[1]) == 0)
-    return 0;
-  if (func69(data[0], data[6]) == 0)
-    return 0;
-  if (func70(data[2]) == 0)
-    return 0;
-  if (func71(data[0], data[1]) == 0)
-    return 0;
-  if (func72(data[9], data[10]) == 0)
-    return 0;
-  if (func73(data[10], data[8]) == 0)
-    return 0;
-  if (func74(data[19], data[17]) == 0)
-    return 0;
-  if (func75(data[0], data[17], data[8]) == 0)
-    return 0;
-  if (func76(data[17], data[18]) == 0)
-    return 0;
-  if (func77(data[18], data[9]) == 0)
-    return 0;
-  if (func78(data[3], data[6]) == 0)
-    return 0;
-  if (func79(data[16]) == 0)
-    return 0;
-  if (func80(data[7], data[3], data[17]) == 0)
-    return 0;
-  if (func81(data[0], data[1]) == 0)
-    return 0;
-  if (func82(data[10], data[18]) == 0)
-    return 0;
-  if (func83(data[6], data[7]) == 0)
-    return 0;
-  if (func84(data[0], data[6]) == 0)
-    return 0;
-  if (func85(data[12]) == 0)
-    return 0;
-  if (func86(data[0], data[1]) == 0)
-    return 0;
-  if (func87(data[6], data[1]) == 0)
-    return 0;
-  if (func88(data[18], data[1]) == 0)
-    return 0;
-  if (func89(data[0], data[6]) == 0)
-    return 0;
-  if (func90(data[0], data[1]) == 0)
-    return 0;
-  if (func91(data[18], data[1]) == 0)
-    return 0;
-  if (func92(data[0], data[6]) == 0)
-    return 0;
-  if (func93(data[13], data[10]) == 0)
-    return 0;
-  if (func94(data[2]) == 0)
-    return 0;
-  if (func95(data[0], data[1]) == 0)
-    return 0;
-  if (func96(data[0], data[11]) == 0)
-    return 0;
-  if (func97(data[18], data[1]) == 0)
-    return 0;
-  if (func98(data[0], data[6]) == 0)
-    return 0;
-  if (func99(data[0], data[19]) == 0)
-    return 0;
-  if (func100(data[14], data[18], data[3]) == 0)
-    return 0;
-  if (func101(data[14]) == 0)
-    return 0;
-  if (func102(data[6], data[1]) == 0)
-    return 0;
-  if (func103(data[5], data[1]) == 0)
-    return 0;
-  if (func104(data[14], data[3], data[10]) == 0)
-    return 0;
-  if (func105(data[18], data[1]) == 0)
-    return 0;
-  if (func106(data[0], data[6]) == 0)
-    return 0;
-  if (func107(data[6]) == 0)
-    return 0;
-  if (func108(data[9], data[10]) == 0)
-    return 0;
-  if (func109(data[7]) == 0)
-    return 0;
-  if (func110(data[9], data[17]) == 0)
-    return 0;
-  if (func111(data[16], data[15], data[18]) == 0)
-    return 0;
-  if (func112(data[0], data[16]) == 0)
-    return 0;
-  if (func113(data[18], data[3]) == 0)
-    return 0;
-  if (func114(data[3]) == 0)
-    return 0;
-  if (func115(data[0], data[1]) == 0)
-    return 0;
-  if (func116(data[14]) == 0)
-    return 0;
-  if (func117(data[0]) == 0)
-    return 0;
-  if (func118(data[19]) == 0)
-    return 0;
-  if (func119(data[0], data[6]) == 0)
-    return 0;
-  if (func120(data[9], data[5], data[0]) == 0)
-    return 0;
-  if (func121(data[0], data[1]) == 0)
-    return 0;
-  if (func122(data[12], data[4]) == 0)
-    return 0;
-  if (func123(data[14]) == 0)
-    return 0;
-  if (func124(data[0]) == 0)
-    return 0;
-  if (func125(data[19]) == 0)
-    return 0;
-  if (func126(data[14]) == 0)
-    return 0;
-  if (func127(data[1], data[9]) == 0)
-    return 0;
-  if (func128(data[19]) == 0)
-    return 0;
-  if (func129(data[11], data[14]) == 0)
-    return 0;
-  if (func130(data[11], data[9]) == 0)
-    return 0;
-  if (func131(data[12], data[15]) == 0)
-    return 0;
-  if (func132(data[0], data[2]) == 0)
-    return 0;
-  if (func133(data[13], data[1]) == 0)
-    return 0;
-  if (func134(data[7]) == 0)
-    return 0;
-  if (func135(data[13], data[5]) == 0)
-    return 0;
-  if (func136(data[12], data[14]) == 0)
-    return 0;
-  if (func137(data[9], data[4]) == 0)
-    return 0;
-  if (func138(data[6]) == 0)
-    return 0;
-  if (func139(data[14]) == 0)
-    return 0;
-  if (func140(data[0]) == 0)
-    return 0;
-  if (func141(data[19]) == 0)
-    return 0;
-  if (func142(data[11], data[9]) == 0)
-    return 0;
-  if (func143(data[12], data[15]) == 0)
-    return 0;
-  if (func144(data[7]) == 0)
-    return 0;
-  if (func145(data[19], data[7]) == 0)
-    return 0;
-  if (func146(data[4], data[6]) == 0)
-    return 0;
-  if (func147(data[6]) == 0)
-    return 0;
-  if (func148(data[0]) == 0)
-    return 0;
-  if (func149(data[19]) == 0)
-    return 0;
-  if (func150(data[11], data[9]) == 0)
-    return 0;
-  if (func151(data[12], data[15]) == 0)
-    return 0;
-  if (func152(data[13], data[1]) == 0)
-    return 0;
-  if (func153(data[7]) == 0)
-    return 0;
-  if (func154(data[2], data[8]) == 0)
-    return 0;
-  if (func155(data[13], data[5]) == 0)
-    return 0;
-  if (func156(data[6]) == 0)
-    return 0;
-  if (func157(data[6]) == 0)
-    return 0;
-  if (func158(data[14]) == 0)
-    return 0;
-  if (func159(data[0]) == 0)
-    return 0;
-  if (func160(data[19]) == 0)
-    return 0;
-  if (func161(data[12], data[15]) == 0)
-    return 0;
-  if (func162(data[5]) == 0)
-    return 0;
-  if (func163(data[6], data[7], data[3]) == 0)
-    return 0;
-  if (func164(data[13], data[5]) == 0)
-    return 0;
-  if (func165(data[6]) == 0)
-    return 0;
-  if (func166(data[14]) == 0)
-    return 0;
-  if (func167(data[0]) == 0)
-    return 0;
-  if (func168(data[19]) == 0)
-    return 0;
-  if (func169(data[11], data[9]) == 0)
-    return 0;
-  if (func170(data[9], data[11]) == 0)
-    return 0;
-  if (func171(data[6]) == 0)
-    return 0;
-  if (func172(data[14]) == 0)
-    return 0;
-  if (func173(data[19]) == 0)
-    return 0;
-  if (func174(data[11], data[9]) == 0)
-    return 0;
-  if (func175(data[12], data[15]) == 0)
-    return 0;
-  if (func176(data[7]) == 0)
-    return 0;
-  if (func177(data[13], data[5]) == 0)
-    return 0;
-  if (func178(data[0]) == 0)
-    return 0;
-  if (func179(data[19]) == 0)
-    return 0;
-  if (func180(data[11], data[9]) == 0)
-    return 0;
-  if (func181(data[12], data[15]) == 0)
-    return 0;
-  if (func182(data[13], data[1]) == 0)
-    return 0;
-  if (func183(data[7], data[17]) == 0)
-    return 0;
-  if (func184(data[7]) == 0)
-    return 0;
-  if (func185(data[6]) == 0)
-    return 0;
-  if (func186(data[4], data[12]) == 0)
-    return 0;
-  if (func187(data[2], data[8]) == 0)
-    return 0;
-  if (func188(data[16]) == 0)
-    return 0;
-  if (func189(data[6]) == 0)
-    return 0;
-  if (func190(data[4], data[12]) == 0)
-    return 0;
-  if (func191(data[16]) == 0)
-    return 0;
-  if (func192(data[19]) == 0)
-    return 0;
-  if (func193(data[19], data[4], data[2]) == 0)
-    return 0;
-  if (func194(data[11], data[9]) == 0)
-    return 0;
-  if (func195(data[12], data[15]) == 0)
-    return 0;
-  if (func196(data[13], data[15]) == 0)
-    return 0;
-  if (func197(data[13], data[1]) == 0)
-    return 0;
-  if (func198(data[19], data[5]) == 0)
-    return 0;
-  if (func199(data[13], data[5]) == 0)
-    return 0;
-  if (func200(data[6]) == 0)
-    return 0;
-  if (func201(data[4], data[12]) == 0)
-    return 0;
-  if (func202(data[5], data[17]) == 0)
-    return 0;
-  if (func203(data[16]) == 0)
-    return 0;
-  if (func204(data[6]) == 0)
-    return 0;
-  if (func205(data[7], data[3], data[17]) == 0)
-    return 0;
-  if (func206(data[4], data[12]) == 0)
-    return 0;
-  if (func207(data[16]) == 0)
-    return 0;
-  if (func208(data[0]) == 0)
-    return 0;
-  if (func209(data[19]) == 0)
-    return 0;
-  if (func210(data[11], data[9]) == 0)
-    return 0;
-  if (func211(data[13], data[1]) == 0)
-    return 0;
-  if (func212(data[7]) == 0)
-    return 0;
-  if (func213(data[13], data[5]) == 0)
-    return 0;
-  if (func214(data[6]) == 0)
-    return 0;
-  if (func215(data[4], data[12]) == 0)
-    return 0;
-  if (func216(data[6]) == 0)
-    return 0;
-  if (func217(data[4], data[12]) == 0)
-    return 0;
-  if (func218(data[16]) == 0)
-    return 0;
-  if (func219(data[16]) == 0)
-    return 0;
-  if (func220(data[0]) == 0)
-    return 0;
-  if (func221(data[19]) == 0)
-    return 0;
-  if (func222(data[0], data[1]) == 0)
-    return 0;
-  if (func223(data[0], data[1]) == 0)
-    return 0;
-  if (func224(data[14]) == 0)
-    return 0;
-  if (func225(data[0]) == 0)
-    return 0;
-  if (func226(data[19]) == 0)
-    return 0;
-  if (func227(data[0], data[1]) == 0)
-    return 0;
-  if (func228(data[0], data[1]) == 0)
-    return 0;
-  if (func229(data[18], data[1]) == 0)
-    return 0;
-  if (func230(data[0], data[1]) == 0)
-    return 0;
-  if (func231(data[17], data[3]) == 0)
-    return 0;
-  if (func232(data[0], data[1]) == 0)
-    return 0;
-  if (func233(data[18], data[1]) == 0)
-    return 0;
-  if (func234(data[0], data[1]) == 0)
-    return 0;
-  if (func235(data[18], data[4]) == 0)
-    return 0;
-  if (func236(data[18], data[1]) == 0)
-    return 0;
-  if (func237(data[0], data[1]) == 0)
-    return 0;
-  if (func238(data[2], data[8]) == 0)
-    return 0;
-  if (func239(data[13], data[0]) == 0)
-    return 0;
-  if (func240(data[0], data[1]) == 0)
-    return 0;
-  if (func241(data[0], data[1]) == 0)
-    return 0;
-  if (func242(data[18], data[1]) == 0)
-    return 0;
-  if (func243(data[0], data[6]) == 0)
-    return 0;
-  if (func244(data[2]) == 0)
-    return 0;
-  if (func245(data[0], data[1]) == 0)
-    return 0;
-  if (func246(data[1], data[11]) == 0)
-    return 0;
-  if (func247(data[18], data[1]) == 0)
-    return 0;
-  if (func248(data[0], data[6]) == 0)
-    return 0;
-  if (func249(data[2]) == 0)
-    return 0;
-  if (func250(data[0], data[1]) == 0)
-    return 0;
-  if (func251(data[4], data[6]) == 0)
-    return 0;
-  if (func252(data[0], data[1]) == 0)
-    return 0;
-  if (func253(data[18], data[1]) == 0)
-    return 0;
-  if (func254(data[16], data[15], data[18]) == 0)
-    return 0;
-  if (func255(data[0], data[6]) == 0)
-    return 0;
-  if (func256(data[2]) == 0)
-    return 0;
-  if (func257(data[16], data[18]) == 0)
-    return 0;
-  if (func258(data[0], data[1]) == 0)
-    return 0;
-  if (func259(data[0], data[6]) == 0)
-    return 0;
-  if (func260(data[9], data[13]) == 0)
-    return 0;
-  if (func261(data[2]) == 0)
-    return 0;
-  if (func262(data[2]) == 0)
-    return 0;
-  if (func263(data[0], data[1]) == 0)
-    return 0;
-  if (func264(data[0], data[1]) == 0)
-    return 0;
-  if (func265(data[0], data[6]) == 0)
-    return 0;
-  if (func266(data[7], data[4]) == 0)
-    return 0;
-  if (func267(data[16], data[7]) == 0)
-    return 0;
-  if (func268(data[0], data[1]) == 0)
-    return 0;
-  if (func269(data[0], data[1]) == 0)
-    return 0;
-  if (func270(data[18], data[1]) == 0)
-    return 0;
-  if (func271(data[13], data[3]) == 0)
-    return 0;
-  if (func272(data[2]) == 0)
-    return 0;
-  if (func273(data[0], data[1]) == 0)
-    return 0;
-  if (func274(data[2]) == 0)
-    return 0;
-  if (func275(data[0], data[1]) == 0)
-    return 0;
-  if (func276(data[14]) == 0)
-    return 0;
-  if (func277(data[0]) == 0)
-    return 0;
-  if (func278(data[19]) == 0)
-    return 0;
-  if (func279(data[0], data[6]) == 0)
-    return 0;
-  if (func280(data[2]) == 0)
-    return 0;
-  if (func281(data[0], data[1]) == 0)
-    return 0;
-  if (func282(data[8], data[0]) == 0)
-    return 0;
-  if (func283(data[14]) == 0)
-    return 0;
-  if (func284(data[19]) == 0)
-    return 0;
-  if (func285(data[14]) == 0)
-    return 0;
-  if (func286(data[19]) == 0)
-    return 0;
-  if (func287(data[11], data[9]) == 0)
-    return 0;
-  if (func288(data[12], data[15]) == 0)
-    return 0;
-  if (func289(data[13], data[1]) == 0)
-    return 0;
-  if (func290(data[7]) == 0)
-    return 0;
-  if (func291(data[13], data[5]) == 0)
-    return 0;
-  if (func292(data[6]) == 0)
-    return 0;
-  if (func293(data[14]) == 0)
-    return 0;
-  if (func294(data[19]) == 0)
-    return 0;
-  if (func295(data[11], data[9]) == 0)
-    return 0;
-  if (func296(data[12], data[15]) == 0)
-    return 0;
-  if (func297(data[12], data[4]) == 0)
-    return 0;
-  if (func298(data[7]) == 0)
-    return 0;
-  if (func299(data[13], data[5]) == 0)
-    return 0;
-  if (func300(data[12], data[14]) == 0)
-    return 0;
-  if (func301(data[6]) == 0)
-    return 0;
-  if (func302(data[14]) == 0)
-    return 0;
-  if (func303(data[19]) == 0)
-    return 0;
-  if (func304(data[11], data[9]) == 0)
-    return 0;
-  if (func305(data[12], data[15]) == 0)
-    return 0;
-  if (func306(data[13], data[1]) == 0)
-    return 0;
-  if (func307(data[6]) == 0)
-    return 0;
-  if (func308(data[19]) == 0)
-    return 0;
-  if (func309(data[12], data[15]) == 0)
-    return 0;
-  if (func310(data[13], data[1]) == 0)
-    return 0;
-  if (func311(data[13], data[5]) == 0)
-    return 0;
-  if (func312(data[6]) == 0)
-    return 0;
-  if (func313(data[14]) == 0)
-    return 0;
-  if (func314(data[0]) == 0)
-    return 0;
-  if (func315(data[9]) == 0)
-    return 0;
-  if (func316(data[11], data[9]) == 0)
-    return 0;
-  if (func317(data[13], data[1]) == 0)
-    return 0;
-  if (func318(data[7]) == 0)
-    return 0;
-  if (func319(data[13], data[4]) == 0)
-    return 0;
-  if (func320(data[16]) == 0)
-    return 0;
-  if (func321(data[4]) == 0)
-    return 0;
-  if (func322(data[0]) == 0)
-    return 0;
-  if (func323(data[19]) == 0)
-    return 0;
-  if (func324(data[11], data[9]) == 0)
-    return 0;
-  if (func325(data[12], data[15]) == 0)
-    return 0;
-  if (func326(data[7]) == 0)
-    return 0;
-  if (func327(data[13], data[5]) == 0)
-    return 0;
-  if (func328(data[0]) == 0)
-    return 0;
-  if (func329(data[19]) == 0)
-    return 0;
-  if (func330(data[11], data[9]) == 0)
-    return 0;
-  if (func331(data[12], data[15]) == 0)
-    return 0;
-  if (func332(data[13], data[1]) == 0)
-    return 0;
-  if (func333(data[4]) == 0)
-    return 0;
-  if (func334(data[13], data[5]) == 0)
-    return 0;
-  if (func335(data[6]) == 0)
-    return 0;
-  if (func336(data[4], data[12]) == 0)
-    return 0;
-  if (func337(data[16]) == 0)
-    return 0;
-  if (func338(data[6]) == 0)
-    return 0;
-  if (func339(data[16]) == 0)
-    return 0;
-  if (func340(data[0]) == 0)
-    return 0;
-  if (func341(data[19]) == 0)
-    return 0;
-  if (func342(data[11], data[9]) == 0)
-    return 0;
-  if (func343(data[12], data[15]) == 0)
-    return 0;
-  if (func344(data[13], data[1]) == 0)
-    return 0;
-  if (func345(data[7]) == 0)
-    return 0;
-  if (func346(data[13], data[5]) == 0)
-    return 0;
-  if (func347(data[6]) == 0)
-    return 0;
-  if (func348(data[4], data[12]) == 0)
-    return 0;
-  if (func349(data[16]) == 0)
-    return 0;
-  if (func350(data[6]) == 0)
-    return 0;
-  if (func351(data[4], data[12]) == 0)
-    return 0;
-  if (func352(data[16]) == 0)
-    return 0;
-  if (func353(data[0]) == 0)
-    return 0;
-  if (func354(data[19]) == 0)
-    return 0;
-  if (func355(data[11], data[9]) == 0)
-    return 0;
-  if (func356(data[8], data[15]) == 0)
-    return 0;
-  if (func357(data[7], data[1]) == 0)
-    return 0;
-  if (func358(data[17]) == 0)
-    return 0;
-  if (func359(data[3], data[5]) == 0)
-    return 0;
-  if (func360(data[6]) == 0)
-    return 0;
-  if (func361(data[4], data[12]) == 0)
-    return 0;
-  if (func362(data[16]) == 0)
-    return 0;
-  if (func363(data[6]) == 0)
-    return 0;
-  if (func364(data[4], data[12]) == 0)
-    return 0;
-  if (func365(data[16]) == 0)
-    return 0;
-  if (func366(data[16]) == 0)
-    return 0;
-  if (func367(data[14]) == 0)
-    return 0;
-  if (func368(data[0]) == 0)
-    return 0;
-  if (func369(data[19]) == 0)
-    return 0;
-  if (func370(data[3], data[1]) == 0)
-    return 0;
-  if (func371(data[4], data[1]) == 0)
-    return 0;
-  if (func372(data[16]) == 0)
-    return 0;
-  if (func373(data[14]) == 0)
-    return 0;
-  if (func374(data[19]) == 0)
-    return 0;
-  if (func375(data[0], data[1]) == 0)
-    return 0;
-  if (func376(data[0], data[1]) == 0)
-    return 0;
-  if (func377(data[2]) == 0)
-    return 0;
-  if (func378(data[0], data[1]) == 0)
-    return 0;
-  if (func379(data[0], data[1]) == 0)
-    return 0;
-  if (func380(data[18], data[1]) == 0)
-    return 0;
-  if (func381(data[0], data[6]) == 0)
-    return 0;
-  if (func382(data[2]) == 0)
-    return 0;
-  if (func383(data[8], data[1]) == 0)
-    return 0;
-  if (func384(data[5], data[1]) == 0)
-    return 0;
-  if (func385(data[18], data[1]) == 0)
-    return 0;
-  if (func386(data[0], data[6]) == 0)
-    return 0;
-  if (func387(data[2]) == 0)
-    return 0;
-  if (func388(data[0], data[1]) == 0)
-    return 0;
-  if (func389(data[18], data[1]) == 0)
-    return 0;
-  if (func390(data[0], data[6]) == 0)
-    return 0;
-  if (func391(data[2]) == 0)
-    return 0;
-  if (func392(data[18], data[1]) == 0)
-    return 0;
-  if (func393(data[0], data[6]) == 0)
-    return 0;
-  if (func394(data[2]) == 0)
-    return 0;
-  if (func395(data[0], data[1]) == 0)
-    return 0;
-  if (func396(data[0], data[1]) == 0)
-    return 0;
-  if (func397(data[18], data[1]) == 0)
-    return 0;
-  if (func398(data[9]) == 0)
-    return 0;
-  if (func399(data[0], data[1]) == 0)
-    return 0;
-  if (func400(data[0], data[1]) == 0)
-    return 0;
-  if (func401(data[8], data[6]) == 0)
-    return 0;
-  if (func402(data[12]) == 0)
-    return 0;
-  if (func403(data[0], data[1]) == 0)
-    return 0;
-  if (func404(data[12]) == 0)
-    return 0;
-  if (func405(data[1]) == 0)
-    return 0;
-  if (func406(data[0], data[6]) == 0)
-    return 0;
-  if (func407(data[4]) == 0)
-    return 0;
-  if (func408(data[0], data[1]) == 0)
-    return 0;
-  if (func409(data[14]) == 0)
-    return 0;
-  if (func410(data[14]) == 0)
-    return 0;
-
-  fprintf(stderr, "BINGO\n");
-  abort();
-  return 1;
-}
-
-int LLVMFuzzerTestOneInput(const uint8_t *Data, size_t Size) {
-  if (api(Data, Size)) {
-    // Should've crashed before getting here.
-    return 0;
-  }
-  return 0;
-}
-

Copied: compiler-rt/trunk/test/fuzzer/MultipleConstraintsOnSmallInputTest.cpp (from r332557, compiler-rt/trunk/test/fuzzer/MultipleConstraintsOnSmallInputTest.c)
URL: http://llvm.org/viewvc/llvm-project/compiler-rt/trunk/test/fuzzer/MultipleConstraintsOnSmallInputTest.cpp?p2=compiler-rt/trunk/test/fuzzer/MultipleConstraintsOnSmallInputTest.cpp&p1=compiler-rt/trunk/test/fuzzer/MultipleConstraintsOnSmallInputTest.c&r1=332557&r2=332558&rev=332558&view=diff
==============================================================================
--- compiler-rt/trunk/test/fuzzer/MultipleConstraintsOnSmallInputTest.c (original)
+++ compiler-rt/trunk/test/fuzzer/MultipleConstraintsOnSmallInputTest.cpp Wed May 16 16:38:53 2018
@@ -4119,7 +4119,7 @@ int api(const uint8_t *data, size_t size
   return 1;
 }
 
-int LLVMFuzzerTestOneInput(const uint8_t *Data, size_t Size) {
+extern "C" int LLVMFuzzerTestOneInput(const uint8_t *Data, size_t Size) {
   if (api(Data, Size)) {
     // Should've crashed before getting here.
     return 0;




More information about the llvm-commits mailing list