set_timestamp() and exit if ....