out2.dart - sdk.git - Git at Google

 const MANGLED_GLOBAL_NAMES = 'mangledGlobalNames';
 main() {
   var v0 = 1;
   while (true) {
     print(v0);
   }
 }
	const MANGLED_GLOBAL_NAMES = 'mangledGlobalNames';
	main() {
	var v0 = 1;
	while (true) {
	print(v0);
	}
	}