{
size_t case_size = sizeof (union value) * value_cnt + 4 * sizeof (void *);
size_t case_cnt = MAX (get_workspace () / case_size, 4);
{
size_t case_size = sizeof (union value) * value_cnt + 4 * sizeof (void *);
size_t case_cnt = MAX (get_workspace () / case_size, 4);