#include "stdio.h"
#include "stdlib.h"
#include "unistd.h"

#ifndef INPUT
#define INPUT

int integer_input(char*);

#endif