TableChanged
update_disk_and_exit(TableChanged() == 1);
if (TableChanged() == 1) {
static int TableChanged(void);