/* Final include file for Special Conformance Test spc3.4.0.2.cc */

int main (void)
  {
   printf ("Passed Special Conformance Test 3.4.0.2\n");
  }