let () = print_endline "Hello, world!"
(from http://roscidus.com/blog/blog/2014/07/28/my-first-unikernel/)