/* 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);