rename sanity_check to consistency_check; run it from an external program rather...