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