graph-lock: TSA annotations for lock/unlock functions