2 * Copyright 2014 The Native Client Authors. All rights reserved.
3 * Use of this source code is governed by a BSD-style license that can be
4 * found in the LICENSE file.
9 void hello_world(void) {
10 printf("Hello, World!\n");
13 int main(int argc, char* argv[]) {