===============  a  ===============

ops:
   Ri  SYM2 x: K_OP [1:2]T_OP(){send}:T_VOID