code: public static void fe_neg(int[] h,int[] f)
  {
    int f0 = f[0];
    int f1 = f[1];
    int f2 = f[2];
    int f3 = f[3];
    int f4 = f[4];
    int f5 = f[5];
    int f6 = f[6];
    int f7 = f[7];
    int f8 = f[8];
    int f9 = f[9];
    int h0 = -f0;
    int h1 = -f1;
    int h2 = -f2;
    int h3 = -f3;
    int h4 = -f4;
    int h5 = -f5;
    int h6 = -f6;
    int h7 = -f7;
    int h8 = -f8;
    int h9 = -f9;
    h[0] = (int)h0;
    h[1] = (int)h1;
    h[2] = (int)h2;
    h[3] = (int)h3;
    h[4] = (int)h4;
    h[5] = (int)h5;
    h[6] = (int)h6;
    h[7] = (int)h7;
    h[8] = (int)h8;
    h[9] = (int)h9;
  }
docs: /*
  h = -f
  
  Preconditions:
  |f| bounded by 1.1*2^25,1.1*2^24,1.1*2^25,1.1*2^24,etc.
  
  Postconditions:
  |h| bounded by 1.1*2^25,1.1*2^24,1.1*2^25,1.1*2^24,etc.