examples used in the documentation