let cone_maxdepth = StdOpt.int_option ()