  CONST
    ioc$max_server_index = 0ffff(16);

