let
reverse_cone =
StdOpt
.str_option ()