===============  main  ===============

ops:
   Rs  SYM2 forke: K_OP [1:]T_OP(){send}:T_VOID
   Rp  SYM2 dp: K_OP T_OP(T_INT){send}:T_VOID