#include<stdio.h> int main(void){ printf("%i\n",13); return 0;}
Standard input is empty
13
The brand new service which powers Ideone!
Widget for compiling and running the source code in a web browser!