Also, for short one linesr line this I think it generally looks nicer to use `w_res = space.execute("return File.new('%s').readlines()")`