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