value_expr
array_size_value = value_expr(array_size);
return !possibly_false(expr, SPECIAL_NOTEQUAL, value_expr(val));
struct expression *value_expr(long long val);
offset = value_expr(idx);
value = value_expr(sval.value);