Added __threadfence_system()