/* This is the stdio.h include file */

.EXTERNAL   putc_;