let
body_visible _fm =
true