non empty immutable primitive array