michael@0: /* Copyright (c) 2009 Google Inc. All rights reserved.
michael@0:  * Use of this source code is governed by a BSD-style license that can be
michael@0:  * found in the LICENSE file. */
michael@0: 
michael@0: #include <stdio.h>
michael@0: 
michael@0: #include "main.h"
michael@0: 
michael@0: int main(int argc, char *argv[]) {
michael@0:   printf("hello world\n");
michael@0:   return 0;
michael@0: }