use English;
# Assumes 16-bit PID and 32-bit time
my $unique_number
    = ($serial_number++ << (16+32))
    + (time << 16)
    + $PID;