/* This file is in the public domain. */ extern int solanum_main(int argc, const char *argv[]); int main(int argc, const char *argv[]) { return solanum_main(argc, argv); }