I’d like to move some state checking into rust, but I think having a trace per root is better than no traces