#include <stdio.h>

unsigned int my_time()
{
  return (unsigned int) 10;
}