python: print(x, end=" ")

[PMunch]

Not quite sure what you mean. This works fine: 
    
    
    var
      x = "Hello"
      y = 100
      z = 42.0
    
    echo x, y, z # Outputs "Hello10042.0"
    
    
    Run

If you want them to be separated by spaces you'll need to build the string with 
$ and join, or write your own procedure as you showed.