FILE *OpenTableFile (char *); int read_bit_alloc (int, al_table *); int pick_table (frame_info *);