CCOpt.get_exn