begin
   if e then
      ok;
