The text 083bc8680c6a, as Debian 7 (Wheezy) shipped it.
PEG Conversion. Read JSON format
pt_peg_from_json(3tcl) on Linux now