let body_visible _fm = true