[ Label ("debut", debut);
   
  Oper ("sw___^d0,_^s0", [ t1 ], [ t2 ], None);
   
  Oper ("add__^d0,_^s0,_^s1", [ t1; t3 ], [ t1 ], None); 
   
  Oper ("j_debut", [], [], Some [ debut ]); ]