JSON encode / decode external for LiveCode