/* Copyright (C) 2014 Ben Kurtovic Released under the terms of the MIT License. See LICENSE for details. */ #include #include int main(int argc, char* argv[]) { printf("Hello, world!\n"); return 0; }