zip file contents: REGION.sml, REGION.rvc