Is `erlang:timestamp()` the same as `os:timestamp()`? Or is it the bad one?