skip_key
(void)skip_key('{');
(void)skip_key('\n');
extern int skip_key(int);
if (skip_key('}'))
if (skip_key(c))