/* Generated automatically */
static int inputline _((void));
static void inputsetline _((char*str,int flags));
static void inpoptop _((void));