text: /* Este codigo ha sido generado por el modulo psexport 20180802-w32 de PSeInt.
  Es posible que el codigo generado no sea completamente correcto. Si encuentra
  errores por favor reportelos en el foro (http://pseint.sourceforge.net). */
  
  #include<stdio.h>
  
  int main() {
  	int i;
  	for (i=0;i<=10-1;i+=1) {
  		printf("Hola mundo %f\n",i+1);
  	}
  	return 0;
  }
  
  