1  #include "harness.h"
       2  
       3  static vector unsigned char value =
       4    { 0x7c, 0x12, 0x1, 0xd5,
       5      0xc3, 0x99, 0x21, 0xe2,
       6      0x12, 0x57, 0xde, 0x6b,
       7      0x39, 0x66, 0xa8, 0x87 };
       8  
       9  void initn_c (int p1, int p2, signed char p3, int p4, double p5 ,
      10  	      vector unsigned char p6, signed char p7)
      11  {
      12    check(p1 == 3, "p1");
      13    check(p2 == 4, "p2");
      14    check(p3 == 5, "p3");
      15    check(p4 == 6, "p4");
      16    check(p5 == 1, "p5");
      17    check(vec_all_eq(p6, value), "p6");
      18    check(p7 == 7, "p7");
      19  }
      20           
      21  void test()
      22  {
      23    initn_c (3, 4, 5, 6, 1, value, 7);
      24  }