{"ast_node_type":"other","tokens":[{"end":16,"kind":"keyword","start":0,"text":"//"}]}
        // type.
        // do know the types expected for each argument and the return
        self.check_argument_types(