let
cone_maxdepth =
StdOpt
.int_option ()