Text this: KAM theory and semiclassical approximations to eigenfunctions