https://github.com/reuk/cbmc
0f32076
commit 0f32076c9beee7ef806587fc6978ac7a5afc2a7c
Author: reuk <reuk@users.noreply.github.com>
Date:   Mon Aug 7 10:42:48 2017 +0100

    Make string_container static init more resilient
