| /* Copyright (C) 2008 Free Software Foundation | |
| This file is part of libgcj. | |
| This software is copyrighted work licensed under the terms of the | |
| Libgcj License. Please consult the file "LIBGCJ_LICENSE" for | |
| details. */ | |
| #include <stddef.h> | |
| extern void print_table (char *name, FILE *out); | |
| extern void enter (int key, int value); |