create_file ("t-stt-stamp1");
ASSERT (stat ("t-stt-stamp1", &st2) == 0);
if (st1.st_mtime != st2.st_mtime)
{
/* Seconds differ, give it one more shot. */
st1 = st2;
create_file ("t-stt-stamp1");
ASSERT (stat ("t-stt-stamp1", &st2) == 0);
if (st1.st_mtime != st2.st_mtime)
{
/* Seconds differ, give it one more shot. */
st1 = st2;