<> <> <> <<>> <<>> <<>> October 1, 1987 9:45:08 am PDT error in the file name on the PC oracle : id_"FullBDDBus2.oracle in place of id_"FullBDDBus2.oracle". missing " !