//timings.h

void start_timing();

void timing(char *message);

void end_timing();