proc nonrec main() void: word i; i := 1024; while i > 0 do writeln(i); i := i >> 1 od corp