#include <time.h>
#include <string.h>

void get_date(char buffer[]);
void pretty_print_date_time(char date_time[]);