ring.lib: header, examples