lemon/bits/lock.h
changeset 1028 4441b066368c
child 1092 dceba191c00d