extern void pgebuf_c(void);