Rev 504 | Rev 713 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
#include <stdio.h>
int main(int argc, char *argv[])
{
puts("Hello world\n");
while (1) ;
return 0;
}