case v of NONE => "unbound value"
        | SOME _ => "bounded value"