thaw/demo/src/lib.rs