deflattener using Array.foldr seems to work
deflattener using Array.foldr seems to work

conti-guy/conti-gui,ContiGuy/conti-gui,conti-guy/conti-gui,conti-guy/conti-gui,ContiGuy/conti-gui,ContiGuy/conti-gui