END { set_timestamp() }