1/*
2 * Copyright (c) 2012 Google Inc. 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.
5 */
6
7#include <stdio.h>
8
9int main(void) {
10  printf("Hello, world!\n");
11  return 0;
12}
13