A tiny fix for a badlock example
Add goodlock4.cc