os:timestamp() is more efficient, apparently