#include <string.h>

#include <stdio.h>

#include <stdlib.h>

// Since gets() is insecure and produces lots 

// of warnings, thereofre I use my own input 

// function instead.

void get_line(char *dst) {

  char buffer[8];

  int i = 0;

  char ch;

  while ((ch = getchar()) != '\n') {

    buffer[i++] = ch;

  }

  buffer[i] = '\0';

  strcpy(dst, buffer);

}

  while(*s1 != '\0' && *s2 != '\0' && *s1 == *s2){

void welcome() { printf("Welcome!\n"); exit(0); }

void goodbye() { printf("Wrong identity, exiting!\n"); exit(1); }

int main(){

}