{"ast_node_type":"other","tokens":[{"end":30,"kind":"keyword","start":0,"text":"arg0_addr,"}]}
                    arg0_addr,
                let arg0_interval = Interval::new(
                    self.size_of_sized(key_ty, locals, "pthread_key_create key arg")?,