Skeleton of Ricart-Agrawala finished in soft version for 2 processes. Should work, but does not...