prog: partiallydefinedeq
stderr_filter: filter_allocs