while the_walrus_is_sleepy do begin writeln('zzzzzzz'); wake_up_the_walrus(the_walrus); writeln('Umpharumpha...'); end;