Microlocal properties of sheaves and complex WKB

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.