let
open_buffers_file =
ref (
Ed_config
.local_dir_rc_file (factory_name^
".buffers"
))