this goes to stdout: x=1.23
this also goes to stdout x=1.23