{
   fun:*test127*
   ThreadSanitizer:UnlockForeign
   ...
   fun:*test127*
}

{
   fun:*test136*
   ThreadSanitizer:UnlockNonLocked
   ...
   fun:*test136*
}

{
   fun:*StressTests*FlushStateTest*
   ThreadSanitizer:Race
   ...
   fun:*StressTests*FlushStateTest*
}