@imports(['<STR_LIT>', '<STR_LIT>'], forgive=True)<EOL>def json_dumps(inbox):
gc.disable()<EOL>str_ = json.dumps(inbox[<NUM_LIT:0>])<EOL>gc.enable()<EOL>return str_<EOL>
Serializes the first element of the input using the JSON protocol as 
implemented by the ``json`` Python 2.6 library.