 makes ct.file_open(filename, options=="/nohistory")
makes