=====================================
``json`` --- JSON encoder and decoder
=====================================