const char *silc_get_time(SilcUInt32 timeval)

    Returns time as string.  If the the `timeval' is non-zero that
    value is returned as string.  If it is zero the current time of the
    local machine is returned.