michael@0: // Copyright (c) 2011 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: void input_ext() {
michael@0:   printf("input_ext\n");
michael@0: }