I hoped correct native array marking would help; well, it does not. :-( #12701