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