There are no free terms in any of these LJSON functions, since all the terms are explicitly named in the arguments. Globals would presumably get shadowed and so would not be captured.