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