No check_consistency() on x86_64