add another file exhibiting a crashing bug