NETWORK1.sml, NETWORK1.rvc