let value_to_int     = of_value_w     int_option