demangle arrays