static void map_case (const struct case_map *,
const struct ccase *, struct ccase *);
static void destroy_case_map (struct case_map *);
static void map_case (const struct case_map *,
const struct ccase *, struct ccase *);
static void destroy_case_map (struct case_map *);