const document_getterinfo: JSJitInfo;