Function push_scope_label 

pub fn push_scope_label(all_threads: bool) -> &'static str

push_scope machine label for all-threads vs current-thread.