>
> and other critical sections.  (was this a problem with alef?)

as far as i know, not many alef programs were written. the few that were
written (like acme) got converted to C. and i dont think alef was used for
writing kernel code.

someone please correct me if i am wrong.

thanks
dharani