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