Added timer definitions and run-auto.c