
  CONST
    ofc$max_menu_id = 0ffff(16);

  TYPE
    oft$menu_id = 0 .. ofc$max_menu_id;
