#include "types.h"
#include "user.h"

int main(int argc, char *argv[]) {
    cls();
    //printf(1, "$ ");            
    exit();
}