/*
 * Copyright (c) 2023 Huawei Device Co., Ltd.
 * Licensed under the Apache License, Version 2.0 (the "License");
 * you may not use this file except in compliance with the License.
 * You may obtain a copy of the License at
 *
 *     http://www.apache.org/licenses/LICENSE-2.0
 *
 * Unless required by applicable law or agreed to in writing, software
 * distributed under the License is distributed on an "AS IS" BASIS,
 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 * See the License for the specific language governing permissions and
 * limitations under the License.
 */

declare function print(arg: any): string;
declare class ArkTools {
    static isNotHoleProperty(obj: object, key: string): boolean;
}

class C {
    x1: number;
    x2: number;
    x3: number;
    x4: number;
    x5: number;
    x6: number;
    x7: number;
    x8: number;
    x9: number;
    x10: number;
    x11: number;
    x12: number;
    x13: number;
    x14: number;
    x15: number;
    x16: number;
    x17: number;
    x18: number;
    x19: number;
    x20: number;
    x21: number;
    x22: number;
    x23: number;
    x24: number;
    x25: number;
    x26: number;
    x27: number;
    x28: number;
    x29: number;
    x30: number;
    x31: number;
    x32: number;
    x33: number;
    x34: number;
    x35: number;
    x36: number;
    x37: number;
    x38: number;
    x39: number;
    x40: number;
    x41: number;
    x42: number;
    x43: number;
    x44: number;
    x45: number;
    x46: number;
    x47: number;
    x48: number;
    x49: number;
    x50: number;
    x51: number;
    x52: number;
    x53: number;
    x54: number;
    x55: number;
    x56: number;
    x57: number;
    x58: number;
    x59: number;
    x60: number;
    x61: number;
    x62: number;
    x63: number;
    x64: number;
    x65: number;
    x66: number;
    x67: number;
    x68: number;
    x69: number;
    x70: number;
    x71: number;
    x72: number;
    x73: number;
    x74: number;
    x75: number;
    x76: number;
    x77: number;
    x78: number;
    x79: number;
    x80: number;
    x81: number;
    x82: number;
    x83: number;
    x84: number;
    x85: number;
    x86: number;
    x87: number;
    x88: number;
    x89: number;
    x90: number;
    x91: number;
    x92: number;
    x93: number;
    x94: number;
    x95: number;
    x96: number;
    x97: number;
    x98: number;
    x99: number;
    x100: number;
    x101: number;
    x102: number;
    x103: number;
    x104: number;
    x105: number;
    x106: number;
    x107: number;
    x108: number;
    x109: number;
    x110: number;
    x111: number;
    x112: number;
    x113: number;
    x114: number;
    x115: number;
    x116: number;
    x117: number;
    x118: number;
    x119: number;
    x120: number;
    x121: number;
    x122: number;
    x123: number;
    x124: number;
    x125: number;
    x126: number;
    x127: number;
    x128: number;
    x129: number;
    x130: number;
    x131: number;
    x132: number;
    x133: number;
    x134: number;
    x135: number;
    x136: number;
    x137: number;
    x138: number;
    x139: number;
    x140: number;
    x141: number;
    x142: number;
    x143: number;
    x144: number;
    x145: number;
    x146: number;
    x147: number;
    x148: number;
    x149: number;
    x150: number;
    x151: number;
    x152: number;
    x153: number;
    x154: number;
    x155: number;
    x156: number;
    x157: number;
    x158: number;
    x159: number;
    x160: number;
    x161: number;
    x162: number;
    x163: number;
    x164: number;
    x165: number;
    x166: number;
    x167: number;
    x168: number;
    x169: number;
    x170: number;
    x171: number;
    x172: number;
    x173: number;
    x174: number;
    x175: number;
    x176: number;
    x177: number;
    x178: number;
    x179: number;
    x180: number;
    x181: number;
    x182: number;
    x183: number;
    x184: number;
    x185: number;
    x186: number;
    x187: number;
    x188: number;
    x189: number;
    x190: number;
    x191: number;
    x192: number;
    x193: number;
    x194: number;
    x195: number;
    x196: number;
    x197: number;
    x198: number;
    x199: number;
    x200: number;
    x201: number;
    x202: number;
    x203: number;
    x204: number;
    x205: number;
    x206: number;
    x207: number;
    x208: number;
    x209: number;
    x210: number;
    x211: number;
    x212: number;
    x213: number;
    x214: number;
    x215: number;
    x216: number;
    x217: number;
    x218: number;
    x219: number;
    x220: number;
    x221: number;
    x222: number;
    x223: number;
    x224: number;
    x225: number;
    x226: number;
    x227: number;
    x228: number;
    x229: number;
    x230: number;
    x231: number;
    x232: number;
    x233: number;
    x234: number;
    x235: number;
    x236: number;
    x237: number;
    x238: number;
    x239: number;
    x240: number;
    x241: number;
    x242: number;
    x243: number;
    x244: number;
    x245: number;
    x246: number;
    x247: number;
    x248: number;
    x249: number;
    x250: number;
    x251: number;
    x252: number;
    x253: number;
    x254: number;
    x255: number;
    x256: number;
    x257: number;
    x258: number;
    x259: number;
    x260: number;
    x261: number;
    x262: number;
    x263: number;
    x264: number;
    x265: number;
    x266: number;
    x267: number;
    x268: number;
    x269: number;
    x270: number;
    x271: number;
    x272: number;
    x273: number;
    x274: number;
    x275: number;
    x276: number;
    x277: number;
    x278: number;
    x279: number;
    x280: number;
    x281: number;
    x282: number;
    x283: number;
    x284: number;
    x285: number;
    x286: number;
    x287: number;
    x288: number;
    x289: number;
    x290: number;
    x291: number;
    x292: number;
    x293: number;
    x294: number;
    x295: number;
    x296: number;
    x297: number;
    x298: number;
    x299: number;
    x300: number;
    x301: number;
    x302: number;
    x303: number;
    x304: number;
    x305: number;
    x306: number;
    x307: number;
    x308: number;
    x309: number;
    x310: number;
    x311: number;
    x312: number;
    x313: number;
    x314: number;
    x315: number;
    x316: number;
    x317: number;
    x318: number;
    x319: number;
    x320: number;
    x321: number;
    x322: number;
    x323: number;
    x324: number;
    x325: number;
    x326: number;
    x327: number;
    x328: number;
    x329: number;
    x330: number;
    x331: number;
    x332: number;
    x333: number;
    x334: number;
    x335: number;
    x336: number;
    x337: number;
    x338: number;
    x339: number;
    x340: number;
    x341: number;
    x342: number;
    x343: number;
    x344: number;
    x345: number;
    x346: number;
    x347: number;
    x348: number;
    x349: number;
    x350: number;
    x351: number;
    x352: number;
    x353: number;
    x354: number;
    x355: number;
    x356: number;
    x357: number;
    x358: number;
    x359: number;
    x360: number;
    x361: number;
    x362: number;
    x363: number;
    x364: number;
    x365: number;
    x366: number;
    x367: number;
    x368: number;
    x369: number;
    x370: number;
    x371: number;
    x372: number;
    x373: number;
    x374: number;
    x375: number;
    x376: number;
    x377: number;
    x378: number;
    x379: number;
    x380: number;
    x381: number;
    x382: number;
    x383: number;
    x384: number;
    x385: number;
    x386: number;
    x387: number;
    x388: number;
    x389: number;
    x390: number;
    x391: number;
    x392: number;
    x393: number;
    x394: number;
    x395: number;
    x396: number;
    x397: number;
    x398: number;
    x399: number;
    x400: number;
    x401: number;
    x402: number;
    x403: number;
    x404: number;
    x405: number;
    x406: number;
    x407: number;
    x408: number;
    x409: number;
    x410: number;
    x411: number;
    x412: number;
    x413: number;
    x414: number;
    x415: number;
    x416: number;
    x417: number;
    x418: number;
    x419: number;
    x420: number;
    x421: number;
    x422: number;
    x423: number;
    x424: number;
    x425: number;
    x426: number;
    x427: number;
    x428: number;
    x429: number;
    x430: number;
    x431: number;
    x432: number;
    x433: number;
    x434: number;
    x435: number;
    x436: number;
    x437: number;
    x438: number;
    x439: number;
    x440: number;
    x441: number;
    x442: number;
    x443: number;
    x444: number;
    x445: number;
    x446: number;
    x447: number;
    x448: number;
    x449: number;
    x450: number;
    x451: number;
    x452: number;
    x453: number;
    x454: number;
    x455: number;
    x456: number;
    x457: number;
    x458: number;
    x459: number;
    x460: number;
    x461: number;
    x462: number;
    x463: number;
    x464: number;
    x465: number;
    x466: number;
    x467: number;
    x468: number;
    x469: number;
    x470: number;
    x471: number;
    x472: number;
    x473: number;
    x474: number;
    x475: number;
    x476: number;
    x477: number;
    x478: number;
    x479: number;
    x480: number;
    x481: number;
    x482: number;
    x483: number;
    x484: number;
    x485: number;
    x486: number;
    x487: number;
    x488: number;
    x489: number;
    x490: number;
    x491: number;
    x492: number;
    x493: number;
    x494: number;
    x495: number;
    x496: number;
    x497: number;
    x498: number;
    x499: number;
    x500: number;
    x501: number;
    x502: number;
    x503: number;
    x504: number;
    x505: number;
    x506: number;
    x507: number;
    x508: number;
    x509: number;
    x510: number;
    x511: number;
    x512: number;
    x513: number;
    x514: number;
    x515: number;
    x516: number;
    x517: number;
    x518: number;
    x519: number;
    x520: number;
    x521: number;
    x522: number;
    x523: number;
    x524: number;
    x525: number;
    x526: number;
    x527: number;
    x528: number;
    x529: number;
    x530: number;
    x531: number;
    x532: number;
    x533: number;
    x534: number;
    x535: number;
    x536: number;
    x537: number;
    x538: number;
    x539: number;
    x540: number;
    x541: number;
    x542: number;
    x543: number;
    x544: number;
    x545: number;
    x546: number;
    x547: number;
    x548: number;
    x549: number;
    x550: number;
    x551: number;
    x552: number;
    x553: number;
    x554: number;
    x555: number;
    x556: number;
    x557: number;
    x558: number;
    x559: number;
    x560: number;
    x561: number;
    x562: number;
    x563: number;
    x564: number;
    x565: number;
    x566: number;
    x567: number;
    x568: number;
    x569: number;
    x570: number;
    x571: number;
    x572: number;
    x573: number;
    x574: number;
    x575: number;
    x576: number;
    x577: number;
    x578: number;
    x579: number;
    x580: number;
    x581: number;
    x582: number;
    x583: number;
    x584: number;
    x585: number;
    x586: number;
    x587: number;
    x588: number;
    x589: number;
    x590: number;
    x591: number;
    x592: number;
    x593: number;
    x594: number;
    x595: number;
    x596: number;
    x597: number;
    x598: number;
    x599: number;
    x600: number;
    x601: number;
    x602: number;
    x603: number;
    x604: number;
    x605: number;
    x606: number;
    x607: number;
    x608: number;
    x609: number;
    x610: number;
    x611: number;
    x612: number;
    x613: number;
    x614: number;
    x615: number;
    x616: number;
    x617: number;
    x618: number;
    x619: number;
    x620: number;
    x621: number;
    x622: number;
    x623: number;
    x624: number;
    x625: number;
    x626: number;
    x627: number;
    x628: number;
    x629: number;
    x630: number;
    x631: number;
    x632: number;
    x633: number;
    x634: number;
    x635: number;
    x636: number;
    x637: number;
    x638: number;
    x639: number;
    x640: number;
    x641: number;
    x642: number;
    x643: number;
    x644: number;
    x645: number;
    x646: number;
    x647: number;
    x648: number;
    x649: number;
    x650: number;
    x651: number;
    x652: number;
    x653: number;
    x654: number;
    x655: number;
    x656: number;
    x657: number;
    x658: number;
    x659: number;
    x660: number;
    x661: number;
    x662: number;
    x663: number;
    x664: number;
    x665: number;
    x666: number;
    x667: number;
    x668: number;
    x669: number;
    x670: number;
    x671: number;
    x672: number;
    x673: number;
    x674: number;
    x675: number;
    x676: number;
    x677: number;
    x678: number;
    x679: number;
    x680: number;
    x681: number;
    x682: number;
    x683: number;
    x684: number;
    x685: number;
    x686: number;
    x687: number;
    x688: number;
    x689: number;
    x690: number;
    x691: number;
    x692: number;
    x693: number;
    x694: number;
    x695: number;
    x696: number;
    x697: number;
    x698: number;
    x699: number;
    x700: number;
    x701: number;
    x702: number;
    x703: number;
    x704: number;
    x705: number;
    x706: number;
    x707: number;
    x708: number;
    x709: number;
    x710: number;
    x711: number;
    x712: number;
    x713: number;
    x714: number;
    x715: number;
    x716: number;
    x717: number;
    x718: number;
    x719: number;
    x720: number;
    x721: number;
    x722: number;
    x723: number;
    x724: number;
    x725: number;
    x726: number;
    x727: number;
    x728: number;
    x729: number;
    x730: number;
    x731: number;
    x732: number;
    x733: number;
    x734: number;
    x735: number;
    x736: number;
    x737: number;
    x738: number;
    x739: number;
    x740: number;
    x741: number;
    x742: number;
    x743: number;
    x744: number;
    x745: number;
    x746: number;
    x747: number;
    x748: number;
    x749: number;
    x750: number;
    x751: number;
    x752: number;
    x753: number;
    x754: number;
    x755: number;
    x756: number;
    x757: number;
    x758: number;
    x759: number;
    x760: number;
    x761: number;
    x762: number;
    x763: number;
    x764: number;
    x765: number;
    x766: number;
    x767: number;
    x768: number;
    x769: number;
    x770: number;
    x771: number;
    x772: number;
    x773: number;
    x774: number;
    x775: number;
    x776: number;
    x777: number;
    x778: number;
    x779: number;
    x780: number;
    x781: number;
    x782: number;
    x783: number;
    x784: number;
    x785: number;
    x786: number;
    x787: number;
    x788: number;
    x789: number;
    x790: number;
    x791: number;
    x792: number;
    x793: number;
    x794: number;
    x795: number;
    x796: number;
    x797: number;
    x798: number;
    x799: number;
    x800: number;
    x801: number;
    x802: number;
    x803: number;
    x804: number;
    x805: number;
    x806: number;
    x807: number;
    x808: number;
    x809: number;
    x810: number;
    x811: number;
    x812: number;
    x813: number;
    x814: number;
    x815: number;
    x816: number;
    x817: number;
    x818: number;
    x819: number;
    x820: number;
    x821: number;
    x822: number;
    x823: number;
    x824: number;
    x825: number;
    x826: number;
    x827: number;
    x828: number;
    x829: number;
    x830: number;
    x831: number;
    x832: number;
    x833: number;
    x834: number;
    x835: number;
    x836: number;
    x837: number;
    x838: number;
    x839: number;
    x840: number;
    x841: number;
    x842: number;
    x843: number;
    x844: number;
    x845: number;
    x846: number;
    x847: number;
    x848: number;
    x849: number;
    x850: number;
    x851: number;
    x852: number;
    x853: number;
    x854: number;
    x855: number;
    x856: number;
    x857: number;
    x858: number;
    x859: number;
    x860: number;
    x861: number;
    x862: number;
    x863: number;
    x864: number;
    x865: number;
    x866: number;
    x867: number;
    x868: number;
    x869: number;
    x870: number;
    x871: number;
    x872: number;
    x873: number;
    x874: number;
    x875: number;
    x876: number;
    x877: number;
    x878: number;
    x879: number;
    x880: number;
    x881: number;
    x882: number;
    x883: number;
    x884: number;
    x885: number;
    x886: number;
    x887: number;
    x888: number;
    x889: number;
    x890: number;
    x891: number;
    x892: number;
    x893: number;
    x894: number;
    x895: number;
    x896: number;
    x897: number;
    x898: number;
    x899: number;
    x900: number;
    x901: number;
    x902: number;
    x903: number;
    x904: number;
    x905: number;
    x906: number;
    x907: number;
    x908: number;
    x909: number;
    x910: number;
    x911: number;
    x912: number;
    x913: number;
    x914: number;
    x915: number;
    x916: number;
    x917: number;
    x918: number;
    x919: number;
    x920: number;
    x921: number;
    x922: number;
    x923: number;
    x924: number;
    x925: number;
    x926: number;
    x927: number;
    x928: number;
    x929: number;
    x930: number;
    x931: number;
    x932: number;
    x933: number;
    x934: number;
    x935: number;
    x936: number;
    x937: number;
    x938: number;
    x939: number;
    x940: number;
    x941: number;
    x942: number;
    x943: number;
    x944: number;
    x945: number;
    x946: number;
    x947: number;
    x948: number;
    x949: number;
    x950: number;
    x951: number;
    x952: number;
    x953: number;
    x954: number;
    x955: number;
    x956: number;
    x957: number;
    x958: number;
    x959: number;
    x960: number;
    x961: number;
    x962: number;
    x963: number;
    x964: number;
    x965: number;
    x966: number;
    x967: number;
    x968: number;
    x969: number;
    x970: number;
    x971: number;
    x972: number;
    x973: number;
    x974: number;
    x975: number;
    x976: number;
    x977: number;
    x978: number;
    x979: number;
    x980: number;
    x981: number;
    x982: number;
    x983: number;
    x984: number;
    x985: number;
    x986: number;
    x987: number;
    x988: number;
    x989: number;
    x990: number;
    x991: number;
    x992: number;
    x993: number;
    x994: number;
    x995: number;
    x996: number;
    x997: number;
    x998: number;
    x999: number;
    x1000: number;
    x1001: number;
    x1002: number;
    x1003: number;
    x1004: number;
    x1005: number;
    x1006: number;
    x1007: number;
    x1008: number;
    x1009: number;
    x1010: number;
    x1011: number;
    x1012: number;
    x1013: number;
    x1014: number;
    x1015: number;
    x1016: number;
    x1017: number;
    x1018: number;
    x1019: number;
    x1020: number;
    x1021: number;
    x1022: number;
    x1023: number;
    x1024: number;
}

function test(): void {
    let c = new C();
    print(ArkTools.isNotHoleProperty(c, "x100"));
}

test();