new experimental results for typed array analysis