Official source code of while($x) Code