Hypothesis: V+P will result in lower rates of vivid dreams and insomnia symptoms/sleep discontinuity than V alone We will also investigate the combined effects of prazosin and varenicline on smoking behavior (i.e., smoking urge) and alcohol consumption (i.e., drinks per drinking day) as exploratory aims.