s=[[io.write('s=[','[',s,']','];',s)]];io.write('s=[','[',s,']','];',s)