Including litmus.h header for exec_times structure