cat > /tmp/a.c <<'EOF'
#include <stdio.h>
#include <stdint.h>
static int pi[28],pj[28]