demo some odd behavior in untaken branches that use locks