My version of locksmith, a static race detector for c