[Issue 9537] slap_timestamp() can give a duplicated timestamp across restarts