/* Copyright 2005 Daniel Cer (daniel.cer@cs.colorado.edu)

This work is licensed under the Creative Commons Attribution-NonCommercial-
ShareAlike License. To view a copy of this license, visit 
http://creativecommons.org/licenses/by-nc-sa/2.5/ or send a letter to 
Creative Commons, 543 Howard Street, 5th Floor, San Francisco, California, 
94105, USA.
*/

#include <stdio.h>

int main (int argc, char *argv[]) { printf("Hello World!\n"); }