let reverse_cone = StdOpt.str_option ()