Le code est alors:

Oper ("add_^d0,_^s0,_^s1", [ t1; t2 ], [ t0 ], None, [ t0, rA; t1, rA; t2, rA ])