{"v":"#head@e4f63635f67aad97cb86b8c961b17c81a16f771d","r":[],"d":"runtime array types with destructors"}