michael@0: #include <stdio.h>
michael@0: 
michael@0: void extra() {
michael@0:   printf("PASS\n");
michael@0: }