cnflush
dev_decl(n,cnflush); dev_decl(n,cnhalt);
void cnflush(void);
void (*v_flush)(void) = cnflush; /* start with cnflush (normal cons) */