1/* Copyright (c) 2012 Google Inc. All rights reserved.
2 * Use of this source code is governed by a BSD-style license that can be
3 * found in the LICENSE file. */
4
5#include <stdio.h>
6
7extern int hello2();
8
9int main(void) {
10  printf("Hello, world!\n");
11  hello2();
12  return 0;
13}
14