semantic: Don't immediately overwrite the arrayAlloc call.