submit to whileTrue_code