check-examples:
    cd examples && cargo test