timestamp for interface.h