Sample: simple JSON encode/decode