miri::shims::native_lib::trace

Static SUPERVISOR

Source 
static SUPERVISOR: Mutex<()>