Tests for JSON I/O: for now all ignored