_IO_str_finish
extern void _IO_str_finish (_IO_FILE *, int) __THROW;
_IO_str_finish (fp, 0);
_IO_str_finish (fp, dummy)
JUMP_INIT(finish, _IO_str_finish),
JUMP_INIT(finish, _IO_str_finish),