stddoc.json