code: def new_array(state, element_type, size):
          
          size_bounded = SimSootExpr_NewArray._bound_array_size(state, size)
          # return the reference of the array base
          # => elements getting lazy initialized in the javavm memory
          return SimSootValue_ArrayBaseRef(heap_alloc_id=state.javavm_memory.get_new_uuid(),
                                           element_type=element_type,
                                           size=size_bounded)
docs: Allocates a new array in memory and returns the reference to the base.