leave_crit        959 src/w32fns.c     leave_crit ();
leave_crit       4175 src/w32fns.c         leave_crit ();
leave_crit       4234 src/w32fns.c   	    leave_crit ();
leave_crit       7817 src/w32fns.c         leave_crit ();
leave_crit        662 src/w32inevt.c       leave_crit();
leave_crit        140 src/w32notify.c   leave_crit();
leave_crit        306 src/w32term.c    leave_crit ();
leave_crit        331 src/w32term.c    leave_crit ();
leave_crit       3584 src/w32term.c        leave_crit();
leave_crit       6052 src/w32term.c  	    leave_crit ();
leave_crit       7275 src/w32term.c    leave_crit ();
leave_crit        243 src/w32xfns.c    leave_crit ();
leave_crit        269 src/w32xfns.c        leave_crit ();
leave_crit        335 src/w32xfns.c    leave_crit ();
leave_crit        380 src/w32xfns.c    leave_crit ();
leave_crit        401 src/w32xfns.c    leave_crit ();