typedef struct {
   BV pair;
   VMAP sai;
   UINT * pai_elts;
   UINT pai_size;
   UINT done;
   UINT pending;
   UINT index;
   UINT padding1;  /* Get this on a pwr of 2 alignment */
   } * LS;
extern GMAP pf_map;
extern UINT pf_size;
extern UINT max_pattern;
extern UINT max_wildcard_index;
extern BV   * wc_subsumers;
extern UINT * wc_trees;
extern TREE wildcard;
extern TREE matchall_tree;
extern UINT wildcard_index;
extern VMAP matching_sets;
extern LS ** ai_info;
extern TABLE * theta_a;
extern GMAP string_map;

extern int option_rows;
extern int option_columns;
extern UINT * heights;