Python extension for jsmn