import io procedure main() local n n := 1024 while n := write(0 < n) / 2 end