of the call. Inout r
Outputs Inout r
FunTrace ElemPrimBase dR
is given by R = Rz(A) *
_Frame_Identity SMC_Frame STRUCT(mR