if (S.valid() && lockStore.write_committed(u, otype, S))
if (S.valid() && lockStore.write_committed(u, otype, S))
if (S.valid() && lockStore.write_committed(u, otype, S))
if (S.valid() && lockStore.write_committed(u, otype, S))
if (S.valid() && lockStore.write_committed(u, otype, S))
if (S.valid() && lockStore.write_committed(u, otype, S))
if (S.valid() && lockStore.write_committed(u, otype, S))
if (S.valid() && lockStore.write_committed(u, otype, S))
if (S.valid() && lockStore.write_committed(u, otype, S))
if (S.valid() && lockStore.write_committed(u, otype, S))