static box Main {
  main(args) {
    local json = "{\"kind\":\"Program\",\"statements\":[]}"
    local doc = new JsonDocBox()
    doc.parse(json)
    // print parse error (if any) for debugging
    print(doc.error())
    local root = doc.root()
    print(root.get("kind").str())
    return 0
  }
}