$use StdIO;

$func F s = s;

F {
  \{ A; B; } = C;
  s = D;
};

$func Main = e;
Main = { A B C : e s1 e, <WriteLn <F s1>>, $fail;; };