python: print(x, end=" ")

[Stefan_Salewski]

Do we already have something like
    
    
    proc jecho(x: varargs[string, `$`]) =
      for el in x:
        stdout.write(el & " ")
      stdout.write('\n')
      stdout.flushfile
    
    
    Run

in std lib which works also when variables have different data types, as in 
<https://forum.nim-lang.org/t/8368> ?