#ifndef VALISP_MAIN_H
#define VALISP_MAIN_H

int valisp_main(int argc, char *argv[]);

#endif