History of main 8 changes

In src/main.rs, lines 8–22 on 99cdbaeea274a3fb2e503f36fb928dea63ba2cc9dd5c7b2d790de467397d9983. Every change that wrote or deleted one of these lines, or deleted a line from between them. Exact, because each line keeps its identity across edits; edits elsewhere in the file are not here. Also: oxy log -L 8,22:src/main.rs.