/test/2007-virtual-structural-finalizable/src-art/