stray-coding/ADT not found