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