db_print_position
if (db_print_position() != 0)
if (db_print_position() == 0) {
if (db_print_position() != 0 ||
int db_print_position (void);