(bad_db)
 (reset)
 (check_db_cxt)
 (select_db)
 (goto_install)