Sync Primitives Are Functionally Complete