extern void db_ping();