// BUG: Blocking instead of nonblocking assignments