/* #include <stdio.h> */
 /* stdio.h not needed since version 0.00 - line commented in version 0.02 */
 

int main(void) {
 /* printf("something\n") */
 /* the above line has been commented to fix a severe bug in version 0.00 */
 return 0;
}