#include "config.h"

const char *version_string = "@(#)GNU Awk 3.1.76";