{"ast_node_type":"variable","tokens":[{"end":38,"kind":"keyword","start":0,"text":"let"}]}
        let arg_type = arg.get_type();
        // TODO(antoyo): use width?
        let result_type = self.u32_type;