Files
contract/test/destructor/decl_post_none.cpp