No matches were found for subject:"Bug#1058778\: storm\-lang\: uses sizeof\('\\0'\) \(4\) instead of 1 for string termination allocations"