Description
This could also be applied in general, in more places than entrypoint state initialization.

When creating the entry state for entrypoints, initialization of complex types (even just arrays) should be configurable depending on the language. For instance, Java arrays should allocated by also defining their length, as the semantics of the language might access it.