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

int main(int argc, char *argv[]) {
    greeting();    
    exit();
}