#include "stdio.h" void world() { printf("world"); }