fn write_field(f: &Field) -> TokenStream