1
/* Copyright (c) 2009 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. */
11
int main(int argc, char *argv[]) {
12
printf("Hello, world!\n");
13
printf("%d\n", func1());