Problems with timestamp possibly exhausting the 32 bit!