typedefs are added
Works with problems.

PIN doesn't see the first lock operation but sees the remaining ones.