Ok good, the args were already guarded