#include "display_time.h"

int main(void)
{
  display_time();
}