avoid some string concatenations

file:write can write multiple args one after another; no need to concatenate them first.

I'm starting to pay attention to memory usage after the experience of turning off the JIT.

Created by  Kartik K. Agaram  on June 10, 2022
UN7L3DNN4Y3BCIA7SM6GYYWQG3OKVCH7ADPKAVF33E6QXY2HEJMQC
Change contents