Conversion of simplejson (which is actually very complicated) to encoding/json