semantic: Do not cast allocDg in arrayAlloc.