char *query_cowid(void);
void terminate(int error);