make && stechec2-run ./a.yml > out.json 2>&1
cargo fmt && cargo check
prologin2019-replay ./a.json
cargo doc --document-private-items --open