Files
contract/test/constructor/throwing_body.cpp