Symbol: union_lock1