%type: module

module Chart():
begin
  ChartEL := [];
  t := 0;
  x := 0;
  Chart_st := "Chart_A";
  {
    Chart_A_done := 0;
    if (t >= 1) {
      t := 0;
      x := 0;
      Chart_st := "Chart_A";
      Chart_A_done := 1;
    }
    Chart_ret := Chart_A_done;
    {x_dot = 1, t_dot = 1 & t < 1}
  }*
end
endmodule
system
Chart()
endsystem
