Symbol: ethnl_compact_sanity_checks