#include <stdio.h> #include <stdlib.h> #include "wvexporter.h" void wvPutCHPX() { }