Contains bug repro