Fixes #4

    Use int64 instead of int in currentTimestamp()
    current_timestamp -> currentTimestamp
    current_random -> currentRandom