puts es utilizado para imprimir en TCL