  Kashiwara-Schapira style sheaf theory is used to justify analytic
continuability of solutions of a Laplace transformed Schroedinger equation with
a small parameter. This partially proves the description of the Stokes
phenomenon for WKB asymptotics predicted by Voros in 1983.
