#include "rcase.h"
int main(int argc, char *argv[]) { return rcase_main(argc, argv); }