$use StdIO;

Debug {
/*empty*/ = <PrintLN "Debug finished  ">;
(e.name)(e.value) e.rest = <PrintLN e.name " = " e.value> <Debug e.rest>;
}; 

Debug-Check {
// 2  = ;
// s.id   =  $fail;
   s.id = <PrintLN "Debug-Check =" s.id> ;
};