#line 1150 "/home/ubuntu/felix/src/packages/program.fdoc"
  
  body ctrl_c_flag = """
    static bool ctrl_c_flag = false;
    bool get_ctrl_c_flag() { return ctrl_c_flag; }
    void set_ctrl_c_flag(int) { ctrl_c_flag = true; }
  """;
  
  
  class Signal_class [os] {
    gen get_ctrl_c_flag: 1 -> bool requires ctrl_c_flag;
    proc set_ctrl_c_flag: int requires ctrl_c_flag;
    virtual proc trap_ctrl_c: 1;
  
  }
  
  class Signal {
  if PLAT_WIN32 do
    inherit Win32Signal;
  else
    inherit PosixSignal;
  done
  }