DO NOT MERGE: narrow down the failing case