const responseText_getterinfo: JSJitInfo;