Function start_solve 

pub fn start_solve()

Recording is compiled out. The arguments are taken so the call sites read the same in either build; the optimiser drops them.