zip file contents: PTCOORD2.sml, PTCOORD2.rvc