printf ("Passed Special Conformance Test 3.4.0.1\n");
   return 0;

Fail:
   printf ("Failed Special Conformance Test 3.4.0.1\n");
   return 0;
  }