#include "hello.h"

int main(int argc, char *argv[argc + 1]) { return hello_world(); }