const timestamp_t = system.timestamp_t;