let body_visible ff_opt = match ff_opt with
    | Iproto -> false | Isrc | Iff _ -> true