json_object() ->
    ?SIZED(S, json_object(S)).
json_object(S) when S =< 0 ->
    json_atomic();
json_object(S) ->
    frequency([{1, json_object(0)},
               {3, ?LAZY(
                      ?LETSHRINK(
                         [ObjectSize],
                         [integer(1, S)],
                         ?LETSHRINK(
                            [Object],
                            [{vector(ObjectSize,
                                     {json_string(),
                                      json_object(S - ObjectSize)})}],
                            Object
                           )))}]).