elide2 new3 terminate1 weak1 badalloc1