extern void pgask_c(bool *);