merged value_int with master