(+) Dcl_ext => Dcl_ext_e + Dcl_ext_f
(^) ceu_out_event => ceu_out_emit
(^) avoids TupleType for single "ins"
(-) bug: T.gcc not giving error