{"ast_node_type":"other","tokens":[{"end":40,"kind":"keyword","start":0,"text":"))?;"}]}
                                    ))?;
                                        "Diverging function returned".to_owned(),
                            }