Official source code of while($x) core class