(library (name error_checking_mutex) (public_name core.error_checking_mutex)
 (preprocess (pps ppx_jane -check-doc-comments))
 (c_names error_checking_mutex_stubs) (libraries core_kernel threads))