An efficient JSON library for embedded systems