UTF-32 aware JavaScript String library
Parses the machine-reabable output from GDB/MI in to JS objects