History stdio-common/bug5.c