make __lwt_dispatch inline;