00001 #include <stdio.h>
00002 
00003 size_t strlen(char* str) {
00004         return 0;
00005 }
00006 
00007 int main()
00008 {
00009         printf("%s", "Hello World");
00010         return 0;
00011 }