[DDMD] Explicitly cast AA value to void*