Adding lock unlock variant of one-sided programs