1  #include <stdio.h>
       2  
       3  void
       4  property (void)
       5  {
       6    printf ("PASS\n");
       7  }