/* empty source code file */
#include <stdio.h>