python3-simplejson: Python JSON decoder/encoder