fix: examples from derham.lib