value
  k_interval_weekly:            0;
  k_interval_fortnightly:       1;
  k_interval_monthly:           2;
  k_interval_bimonthly:         3;
  k_interval_quarterly:         4;
  k_interval_6monthly:          5;
  k_interval_yearly:            6;

procedure
  set_interval (integer);
  quit ();

object
  interval_menu:
                Pulldown_Menu {
                  controls {
                    Push_Button interval_weekly;
                    Push_Button interval_fortnightly;
                    Push_Button interval_monthly;
                    Push_Button interval_bimonthly;
                    Push_Button interval_quarterly;
                    Push_Button interval_6monthly;
                    Push_Button interval_yearly;
                  };
                };

  interval_weekly:
                Push_Button {
                  arguments {
                    label_label = compound_string('Every Week');
                  };
                  callbacks {
                    activate = procedure set_interval (k_interval_weekly);
                  };
                };


  Quit_Button:  Push_Button {
                  arguments {
                    .
                    .
                    .
                  };
                  callbacks { activate = procedure Quit (); };
                };