#include <stdio.h> #include <stdlib.h> #ifdef HAVE_CONFIG_H #include "config.h" #endif #include "wvexporter-priv.h" void wvPutCHPX () { }