jb302@28: #include <stdio.h>
jb302@28: 
jb302@28: void
jb302@28: main(void) {
jb302@28: }