Edit File: timestamping.h