bad-type-int.json:3:13: stray '123'