{"ast_node_type":"other","tokens":[{"end":18,"kind":"keyword","start":0,"text":");"}]}
                );
                    self.size_of_sized(key_ty, locals, "pthread_key_create key arg")?,
                arg0_interval.write_from_bytes(self, &key.to_le_bytes()[0..arg0_interval.size])?;