Text this: Analytic holonomicity of real C^{\mathrm{exp}}-class distributions.