Function function_body 

pub(crate) fn function_body<W: Write>(
    writer: &mut W,
    body: &Body,
    name: &str,
) -> Result<()>