$timestamp $timestamp : int Timestamp for insertion of the event, used to compare events with the same command in order to assign higher priority to events inserted earlier Type int