Add module Example.State