#include <stdio.h>

inline void hello_world() {
    puts("Hello world"); }

int main() {
    hello_world(); }