1prog: partiallydefinedeq
2stderr_filter: filter_allocs
3