const text_getterinfo: JSJitInfo;