//
// Created by bigbeno37 on 21/07/17.
//

char *helloWorld() {
    return "Hello world!\n";
}