I'd also like to see the results of hand-tracing of variable values done separately by the developer for each copy. Maybe have several developers do it as an extra check.