specdoc for examples