	# do opencyc od program from world done;
	program := unparse(directobject)
	world   := unparse(infile)
	dval := do_opencyc(program,world)
	if world == "[]" then {
		cyccmd  := "opencyc "||program
	} else {
		cyccmd  := "opencyc "||program||" "||world
	}
	cyccmd ||:= " 2>&1 "  # include stderr
	preprocessor := "mkr2cyc | "
	#postprocessor := " | cycsort"
	 postprocessor := ""
	cmdline := preprocessor||cyccmd||postprocessor
	if DEBUG=="CYC" then {
	  writes_type_all(cmdline,cinfo||"cmdline")
	}
	dval := pipe2list(cmdline)
