#include <stdio.h>
#include "klotski.h"
int main() {
printf("cli boot\n");
tmain();
printf("cli exit\n");
return 0;
}