Use push_json_value