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

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