let decide_option x = function
    | true -> Some(x)
    | _ -> None