1/* Copyright (c) 2014 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
6#include <stdio.h>
7
8extern const char* getString(void);
9
10int main(int argc, char* argv[])
11{
12  if (argc < 2) return 2;
13  FILE* f = fopen(argv[1], "w");
14  if (f == NULL) return 1;
15  fprintf(f, "%s", getString());
16  fclose(f);
17  return 0;
18}
19