#ifndef __TIMING_H_
#define __TIMING_H_

void get_walltime_(double* wcTime);
void get_walltime(double* wcTime);

#endif