How to init damage_args{} with Instigator set?

[ChrisAI]

This is what I tried, but it fails because Instigator expects ‘?game_action_instigator’.

AllPlayers := GetPlayspace().GetPlayers()
if (damageDealer := AllPlayers[0]):
    dmgInstigator := damageDealer.GetInstigator()
    dummyDmg : damage_args = damage_args {Instigator := dmgInstigator, Amount:=10.0}

[ChrisAI]

I solved it, it should be

Instigator := option{dmgInstigator}