internal format. This doesn't yet check the reachability information, but we're getting there.. Slowly.
It doesn't complain about mine. But it also doesn't yet check for inter-object reachability etc.