/*
 * Copyright (c) 2024, Oracle and/or its affiliates. All rights reserved.
 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
 *
 * This code is free software; you can redistribute it and/or modify it
 * under the terms of the GNU General Public License version 2 only, as
 * published by the Free Software Foundation.
 *
 * This code is distributed in the hope that it will be useful, but WITHOUT
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
 * version 2 for more details (a copy is included in the LICENSE file that
 * accompanied this code).
 *
 * You should have received a copy of the GNU General Public License version
 * 2 along with this work; if not, write to the Free Software Foundation,
 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
 *
 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
 * or visit www.oracle.com if you need additional information or have any
 * questions.
 */

/*
 * @test
 * @bug 8318562
 * @run main/othervm/timeout=200 -XX:CompileCommand=compileonly,TestConvertImplicitNullCheck::test -XX:-TieredCompilation -Xbatch TestConvertImplicitNullCheck
 * @summary Exercise char to double conversion with implicit null check
 *
 */


public class TestConvertImplicitNullCheck {
    char a000;
    char a001;
    char a002;
    char a003;
    char a004;
    char a005;
    char a006;
    char a007;
    char a008;
    char a009;
    char a00a;
    char a00b;
    char a00c;
    char a00d;
    char a00e;
    char a00f;
    char a010;
    char a011;
    char a012;
    char a013;
    char a014;
    char a015;
    char a016;
    char a017;
    char a018;
    char a019;
    char a01a;
    char a01b;
    char a01c;
    char a01d;
    char a01e;
    char a01f;
    char a020;
    char a021;
    char a022;
    char a023;
    char a024;
    char a025;
    char a026;
    char a027;
    char a028;
    char a029;
    char a02a;
    char a02b;
    char a02c;
    char a02d;
    char a02e;
    char a02f;
    char a030;
    char a031;
    char a032;
    char a033;
    char a034;
    char a035;
    char a036;
    char a037;
    char a038;
    char a039;
    char a03a;
    char a03b;
    char a03c;
    char a03d;
    char a03e;
    char a03f;
    char a040;
    char a041;
    char a042;
    char a043;
    char a044;
    char a045;
    char a046;
    char a047;
    char a048;
    char a049;
    char a04a;
    char a04b;
    char a04c;
    char a04d;
    char a04e;
    char a04f;
    char a050;
    char a051;
    char a052;
    char a053;
    char a054;
    char a055;
    char a056;
    char a057;
    char a058;
    char a059;
    char a05a;
    char a05b;
    char a05c;
    char a05d;
    char a05e;
    char a05f;
    char a060;
    char a061;
    char a062;
    char a063;
    char a064;
    char a065;
    char a066;
    char a067;
    char a068;
    char a069;
    char a06a;
    char a06b;
    char a06c;
    char a06d;
    char a06e;
    char a06f;
    char a070;
    char a071;
    char a072;
    char a073;
    char a074;
    char a075;
    char a076;
    char a077;
    char a078;
    char a079;
    char a07a;
    char a07b;
    char a07c;
    char a07d;
    char a07e;
    char a07f;
    char a080;
    char a081;
    char a082;
    char a083;
    char a084;
    char a085;
    char a086;
    char a087;
    char a088;
    char a089;
    char a08a;
    char a08b;
    char a08c;
    char a08d;
    char a08e;
    char a08f;
    char a090;
    char a091;
    char a092;
    char a093;
    char a094;
    char a095;
    char a096;
    char a097;
    char a098;
    char a099;
    char a09a;
    char a09b;
    char a09c;
    char a09d;
    char a09e;
    char a09f;
    char a0a0;
    char a0a1;
    char a0a2;
    char a0a3;
    char a0a4;
    char a0a5;
    char a0a6;
    char a0a7;
    char a0a8;
    char a0a9;
    char a0aa;
    char a0ab;
    char a0ac;
    char a0ad;
    char a0ae;
    char a0af;
    char a0b0;
    char a0b1;
    char a0b2;
    char a0b3;
    char a0b4;
    char a0b5;
    char a0b6;
    char a0b7;
    char a0b8;
    char a0b9;
    char a0ba;
    char a0bb;
    char a0bc;
    char a0bd;
    char a0be;
    char a0bf;
    char a0c0;
    char a0c1;
    char a0c2;
    char a0c3;
    char a0c4;
    char a0c5;
    char a0c6;
    char a0c7;
    char a0c8;
    char a0c9;
    char a0ca;
    char a0cb;
    char a0cc;
    char a0cd;
    char a0ce;
    char a0cf;
    char a0d0;
    char a0d1;
    char a0d2;
    char a0d3;
    char a0d4;
    char a0d5;
    char a0d6;
    char a0d7;
    char a0d8;
    char a0d9;
    char a0da;
    char a0db;
    char a0dc;
    char a0dd;
    char a0de;
    char a0df;
    char a0e0;
    char a0e1;
    char a0e2;
    char a0e3;
    char a0e4;
    char a0e5;
    char a0e6;
    char a0e7;
    char a0e8;
    char a0e9;
    char a0ea;
    char a0eb;
    char a0ec;
    char a0ed;
    char a0ee;
    char a0ef;
    char a0f0;
    char a0f1;
    char a0f2;
    char a0f3;
    char a0f4;
    char a0f5;
    char a0f6;
    char a0f7;
    char a0f8;
    char a0f9;
    char a0fa;
    char a0fb;
    char a0fc;
    char a0fd;
    char a0fe;
    char a0ff;
    char a100;
    char a101;
    char a102;
    char a103;
    char a104;
    char a105;
    char a106;
    char a107;
    char a108;
    char a109;
    char a10a;
    char a10b;
    char a10c;
    char a10d;
    char a10e;
    char a10f;
    char a110;
    char a111;
    char a112;
    char a113;
    char a114;
    char a115;
    char a116;
    char a117;
    char a118;
    char a119;
    char a11a;
    char a11b;
    char a11c;
    char a11d;
    char a11e;
    char a11f;
    char a120;
    char a121;
    char a122;
    char a123;
    char a124;
    char a125;
    char a126;
    char a127;
    char a128;
    char a129;
    char a12a;
    char a12b;
    char a12c;
    char a12d;
    char a12e;
    char a12f;
    char a130;
    char a131;
    char a132;
    char a133;
    char a134;
    char a135;
    char a136;
    char a137;
    char a138;
    char a139;
    char a13a;
    char a13b;
    char a13c;
    char a13d;
    char a13e;
    char a13f;
    char a140;
    char a141;
    char a142;
    char a143;
    char a144;
    char a145;
    char a146;
    char a147;
    char a148;
    char a149;
    char a14a;
    char a14b;
    char a14c;
    char a14d;
    char a14e;
    char a14f;
    char a150;
    char a151;
    char a152;
    char a153;
    char a154;
    char a155;
    char a156;
    char a157;
    char a158;
    char a159;
    char a15a;
    char a15b;
    char a15c;
    char a15d;
    char a15e;
    char a15f;
    char a160;
    char a161;
    char a162;
    char a163;
    char a164;
    char a165;
    char a166;
    char a167;
    char a168;
    char a169;
    char a16a;
    char a16b;
    char a16c;
    char a16d;
    char a16e;
    char a16f;
    char a170;
    char a171;
    char a172;
    char a173;
    char a174;
    char a175;
    char a176;
    char a177;
    char a178;
    char a179;
    char a17a;
    char a17b;
    char a17c;
    char a17d;
    char a17e;
    char a17f;
    char a180;
    char a181;
    char a182;
    char a183;
    char a184;
    char a185;
    char a186;
    char a187;
    char a188;
    char a189;
    char a18a;
    char a18b;
    char a18c;
    char a18d;
    char a18e;
    char a18f;
    char a190;
    char a191;
    char a192;
    char a193;
    char a194;
    char a195;
    char a196;
    char a197;
    char a198;
    char a199;
    char a19a;
    char a19b;
    char a19c;
    char a19d;
    char a19e;
    char a19f;
    char a1a0;
    char a1a1;
    char a1a2;
    char a1a3;
    char a1a4;
    char a1a5;
    char a1a6;
    char a1a7;
    char a1a8;
    char a1a9;
    char a1aa;
    char a1ab;
    char a1ac;
    char a1ad;
    char a1ae;
    char a1af;
    char a1b0;
    char a1b1;
    char a1b2;
    char a1b3;
    char a1b4;
    char a1b5;
    char a1b6;
    char a1b7;
    char a1b8;
    char a1b9;
    char a1ba;
    char a1bb;
    char a1bc;
    char a1bd;
    char a1be;
    char a1bf;
    char a1c0;
    char a1c1;
    char a1c2;
    char a1c3;
    char a1c4;
    char a1c5;
    char a1c6;
    char a1c7;
    char a1c8;
    char a1c9;
    char a1ca;
    char a1cb;
    char a1cc;
    char a1cd;
    char a1ce;
    char a1cf;
    char a1d0;
    char a1d1;
    char a1d2;
    char a1d3;
    char a1d4;
    char a1d5;
    char a1d6;
    char a1d7;
    char a1d8;
    char a1d9;
    char a1da;
    char a1db;
    char a1dc;
    char a1dd;
    char a1de;
    char a1df;
    char a1e0;
    char a1e1;
    char a1e2;
    char a1e3;
    char a1e4;
    char a1e5;
    char a1e6;
    char a1e7;
    char a1e8;
    char a1e9;
    char a1ea;
    char a1eb;
    char a1ec;
    char a1ed;
    char a1ee;
    char a1ef;
    char a1f0;
    char a1f1;
    char a1f2;
    char a1f3;
    char a1f4;
    char a1f5;
    char a1f6;
    char a1f7;
    char a1f8;
    char a1f9;
    char a1fa;
    char a1fb;
    char a1fc;
    char a1fd;
    char a1fe;
    char a1ff;
    char a200;
    char a201;
    char a202;
    char a203;
    char a204;
    char a205;
    char a206;
    char a207;
    char a208;
    char a209;
    char a20a;
    char a20b;
    char a20c;
    char a20d;
    char a20e;
    char a20f;
    char a210;
    char a211;
    char a212;
    char a213;
    char a214;
    char a215;
    char a216;
    char a217;
    char a218;
    char a219;
    char a21a;
    char a21b;
    char a21c;
    char a21d;
    char a21e;
    char a21f;
    char a220;
    char a221;
    char a222;
    char a223;
    char a224;
    char a225;
    char a226;
    char a227;
    char a228;
    char a229;
    char a22a;
    char a22b;
    char a22c;
    char a22d;
    char a22e;
    char a22f;
    char a230;
    char a231;
    char a232;
    char a233;
    char a234;
    char a235;
    char a236;
    char a237;
    char a238;
    char a239;
    char a23a;
    char a23b;
    char a23c;
    char a23d;
    char a23e;
    char a23f;
    char a240;
    char a241;
    char a242;
    char a243;
    char a244;
    char a245;
    char a246;
    char a247;
    char a248;
    char a249;
    char a24a;
    char a24b;
    char a24c;
    char a24d;
    char a24e;
    char a24f;
    char a250;
    char a251;
    char a252;
    char a253;
    char a254;
    char a255;
    char a256;
    char a257;
    char a258;
    char a259;
    char a25a;
    char a25b;
    char a25c;
    char a25d;
    char a25e;
    char a25f;
    char a260;
    char a261;
    char a262;
    char a263;
    char a264;
    char a265;
    char a266;
    char a267;
    char a268;
    char a269;
    char a26a;
    char a26b;
    char a26c;
    char a26d;
    char a26e;
    char a26f;
    char a270;
    char a271;
    char a272;
    char a273;
    char a274;
    char a275;
    char a276;
    char a277;
    char a278;
    char a279;
    char a27a;
    char a27b;
    char a27c;
    char a27d;
    char a27e;
    char a27f;
    char a280;
    char a281;
    char a282;
    char a283;
    char a284;
    char a285;
    char a286;
    char a287;
    char a288;
    char a289;
    char a28a;
    char a28b;
    char a28c;
    char a28d;
    char a28e;
    char a28f;
    char a290;
    char a291;
    char a292;
    char a293;
    char a294;
    char a295;
    char a296;
    char a297;
    char a298;
    char a299;
    char a29a;
    char a29b;
    char a29c;
    char a29d;
    char a29e;
    char a29f;
    char a2a0;
    char a2a1;
    char a2a2;
    char a2a3;
    char a2a4;
    char a2a5;
    char a2a6;
    char a2a7;
    char a2a8;
    char a2a9;
    char a2aa;
    char a2ab;
    char a2ac;
    char a2ad;
    char a2ae;
    char a2af;
    char a2b0;
    char a2b1;
    char a2b2;
    char a2b3;
    char a2b4;
    char a2b5;
    char a2b6;
    char a2b7;
    char a2b8;
    char a2b9;
    char a2ba;
    char a2bb;
    char a2bc;
    char a2bd;
    char a2be;
    char a2bf;
    char a2c0;
    char a2c1;
    char a2c2;
    char a2c3;
    char a2c4;
    char a2c5;
    char a2c6;
    char a2c7;
    char a2c8;
    char a2c9;
    char a2ca;
    char a2cb;
    char a2cc;
    char a2cd;
    char a2ce;
    char a2cf;
    char a2d0;
    char a2d1;
    char a2d2;
    char a2d3;
    char a2d4;
    char a2d5;
    char a2d6;
    char a2d7;
    char a2d8;
    char a2d9;
    char a2da;
    char a2db;
    char a2dc;
    char a2dd;
    char a2de;
    char a2df;
    char a2e0;
    char a2e1;
    char a2e2;
    char a2e3;
    char a2e4;
    char a2e5;
    char a2e6;
    char a2e7;
    char a2e8;
    char a2e9;
    char a2ea;
    char a2eb;
    char a2ec;
    char a2ed;
    char a2ee;
    char a2ef;
    char a2f0;
    char a2f1;
    char a2f2;
    char a2f3;
    char a2f4;
    char a2f5;
    char a2f6;
    char a2f7;
    char a2f8;
    char a2f9;
    char a2fa;
    char a2fb;
    char a2fc;
    char a2fd;
    char a2fe;
    char a2ff;
    char a300;
    char a301;
    char a302;
    char a303;
    char a304;
    char a305;
    char a306;
    char a307;
    char a308;
    char a309;
    char a30a;
    char a30b;
    char a30c;
    char a30d;
    char a30e;
    char a30f;
    char a310;
    char a311;
    char a312;
    char a313;
    char a314;
    char a315;
    char a316;
    char a317;
    char a318;
    char a319;
    char a31a;
    char a31b;
    char a31c;
    char a31d;
    char a31e;
    char a31f;
    char a320;
    char a321;
    char a322;
    char a323;
    char a324;
    char a325;
    char a326;
    char a327;
    char a328;
    char a329;
    char a32a;
    char a32b;
    char a32c;
    char a32d;
    char a32e;
    char a32f;
    char a330;
    char a331;
    char a332;
    char a333;
    char a334;
    char a335;
    char a336;
    char a337;
    char a338;
    char a339;
    char a33a;
    char a33b;
    char a33c;
    char a33d;
    char a33e;
    char a33f;
    char a340;
    char a341;
    char a342;
    char a343;
    char a344;
    char a345;
    char a346;
    char a347;
    char a348;
    char a349;
    char a34a;
    char a34b;
    char a34c;
    char a34d;
    char a34e;
    char a34f;
    char a350;
    char a351;
    char a352;
    char a353;
    char a354;
    char a355;
    char a356;
    char a357;
    char a358;
    char a359;
    char a35a;
    char a35b;
    char a35c;
    char a35d;
    char a35e;
    char a35f;
    char a360;
    char a361;
    char a362;
    char a363;
    char a364;
    char a365;
    char a366;
    char a367;
    char a368;
    char a369;
    char a36a;
    char a36b;
    char a36c;
    char a36d;
    char a36e;
    char a36f;
    char a370;
    char a371;
    char a372;
    char a373;
    char a374;
    char a375;
    char a376;
    char a377;
    char a378;
    char a379;
    char a37a;
    char a37b;
    char a37c;
    char a37d;
    char a37e;
    char a37f;
    char a380;
    char a381;
    char a382;
    char a383;
    char a384;
    char a385;
    char a386;
    char a387;
    char a388;
    char a389;
    char a38a;
    char a38b;
    char a38c;
    char a38d;
    char a38e;
    char a38f;
    char a390;
    char a391;
    char a392;
    char a393;
    char a394;
    char a395;
    char a396;
    char a397;
    char a398;
    char a399;
    char a39a;
    char a39b;
    char a39c;
    char a39d;
    char a39e;
    char a39f;
    char a3a0;
    char a3a1;
    char a3a2;
    char a3a3;
    char a3a4;
    char a3a5;
    char a3a6;
    char a3a7;
    char a3a8;
    char a3a9;
    char a3aa;
    char a3ab;
    char a3ac;
    char a3ad;
    char a3ae;
    char a3af;
    char a3b0;
    char a3b1;
    char a3b2;
    char a3b3;
    char a3b4;
    char a3b5;
    char a3b6;
    char a3b7;
    char a3b8;
    char a3b9;
    char a3ba;
    char a3bb;
    char a3bc;
    char a3bd;
    char a3be;
    char a3bf;
    char a3c0;
    char a3c1;
    char a3c2;
    char a3c3;
    char a3c4;
    char a3c5;
    char a3c6;
    char a3c7;
    char a3c8;
    char a3c9;
    char a3ca;
    char a3cb;
    char a3cc;
    char a3cd;
    char a3ce;
    char a3cf;
    char a3d0;
    char a3d1;
    char a3d2;
    char a3d3;
    char a3d4;
    char a3d5;
    char a3d6;
    char a3d7;
    char a3d8;
    char a3d9;
    char a3da;
    char a3db;
    char a3dc;
    char a3dd;
    char a3de;
    char a3df;
    char a3e0;
    char a3e1;
    char a3e2;
    char a3e3;
    char a3e4;
    char a3e5;
    char a3e6;
    char a3e7;
    char a3e8;
    char a3e9;
    char a3ea;
    char a3eb;
    char a3ec;
    char a3ed;
    char a3ee;
    char a3ef;
    char a3f0;
    char a3f1;
    char a3f2;
    char a3f3;
    char a3f4;
    char a3f5;
    char a3f6;
    char a3f7;
    char a3f8;
    char a3f9;
    char a3fa;
    char a3fb;
    char a3fc;
    char a3fd;
    char a3fe;
    char a3ff;
    char a400;
    char a401;
    char a402;
    char a403;
    char a404;
    char a405;
    char a406;
    char a407;
    char a408;
    char a409;
    char a40a;
    char a40b;
    char a40c;
    char a40d;
    char a40e;
    char a40f;
    char a410;
    char a411;
    char a412;
    char a413;
    char a414;
    char a415;
    char a416;
    char a417;
    char a418;
    char a419;
    char a41a;
    char a41b;
    char a41c;
    char a41d;
    char a41e;
    char a41f;
    char a420;
    char a421;
    char a422;
    char a423;
    char a424;
    char a425;
    char a426;
    char a427;
    char a428;
    char a429;
    char a42a;
    char a42b;
    char a42c;
    char a42d;
    char a42e;
    char a42f;
    char a430;
    char a431;
    char a432;
    char a433;
    char a434;
    char a435;
    char a436;
    char a437;
    char a438;
    char a439;
    char a43a;
    char a43b;
    char a43c;
    char a43d;
    char a43e;
    char a43f;
    char a440;
    char a441;
    char a442;
    char a443;
    char a444;
    char a445;
    char a446;
    char a447;
    char a448;
    char a449;
    char a44a;
    char a44b;
    char a44c;
    char a44d;
    char a44e;
    char a44f;
    char a450;
    char a451;
    char a452;
    char a453;
    char a454;
    char a455;
    char a456;
    char a457;
    char a458;
    char a459;
    char a45a;
    char a45b;
    char a45c;
    char a45d;
    char a45e;
    char a45f;
    char a460;
    char a461;
    char a462;
    char a463;
    char a464;
    char a465;
    char a466;
    char a467;
    char a468;
    char a469;
    char a46a;
    char a46b;
    char a46c;
    char a46d;
    char a46e;
    char a46f;
    char a470;
    char a471;
    char a472;
    char a473;
    char a474;
    char a475;
    char a476;
    char a477;
    char a478;
    char a479;
    char a47a;
    char a47b;
    char a47c;
    char a47d;
    char a47e;
    char a47f;
    char a480;
    char a481;
    char a482;
    char a483;
    char a484;
    char a485;
    char a486;
    char a487;
    char a488;
    char a489;
    char a48a;
    char a48b;
    char a48c;
    char a48d;
    char a48e;
    char a48f;
    char a490;
    char a491;
    char a492;
    char a493;
    char a494;
    char a495;
    char a496;
    char a497;
    char a498;
    char a499;
    char a49a;
    char a49b;
    char a49c;
    char a49d;
    char a49e;
    char a49f;
    char a4a0;
    char a4a1;
    char a4a2;
    char a4a3;
    char a4a4;
    char a4a5;
    char a4a6;
    char a4a7;
    char a4a8;
    char a4a9;
    char a4aa;
    char a4ab;
    char a4ac;
    char a4ad;
    char a4ae;
    char a4af;
    char a4b0;
    char a4b1;
    char a4b2;
    char a4b3;
    char a4b4;
    char a4b5;
    char a4b6;
    char a4b7;
    char a4b8;
    char a4b9;
    char a4ba;
    char a4bb;
    char a4bc;
    char a4bd;
    char a4be;
    char a4bf;
    char a4c0;
    char a4c1;
    char a4c2;
    char a4c3;
    char a4c4;
    char a4c5;
    char a4c6;
    char a4c7;
    char a4c8;
    char a4c9;
    char a4ca;
    char a4cb;
    char a4cc;
    char a4cd;
    char a4ce;
    char a4cf;
    char a4d0;
    char a4d1;
    char a4d2;
    char a4d3;
    char a4d4;
    char a4d5;
    char a4d6;
    char a4d7;
    char a4d8;
    char a4d9;
    char a4da;
    char a4db;
    char a4dc;
    char a4dd;
    char a4de;
    char a4df;
    char a4e0;
    char a4e1;
    char a4e2;
    char a4e3;
    char a4e4;
    char a4e5;
    char a4e6;
    char a4e7;
    char a4e8;
    char a4e9;
    char a4ea;
    char a4eb;
    char a4ec;
    char a4ed;
    char a4ee;
    char a4ef;
    char a4f0;
    char a4f1;
    char a4f2;
    char a4f3;
    char a4f4;
    char a4f5;
    char a4f6;
    char a4f7;
    char a4f8;
    char a4f9;
    char a4fa;
    char a4fb;
    char a4fc;
    char a4fd;
    char a4fe;
    char a4ff;
    char a500;
    char a501;
    char a502;
    char a503;
    char a504;
    char a505;
    char a506;
    char a507;
    char a508;
    char a509;
    char a50a;
    char a50b;
    char a50c;
    char a50d;
    char a50e;
    char a50f;
    char a510;
    char a511;
    char a512;
    char a513;
    char a514;
    char a515;
    char a516;
    char a517;
    char a518;
    char a519;
    char a51a;
    char a51b;
    char a51c;
    char a51d;
    char a51e;
    char a51f;
    char a520;
    char a521;
    char a522;
    char a523;
    char a524;
    char a525;
    char a526;
    char a527;
    char a528;
    char a529;
    char a52a;
    char a52b;
    char a52c;
    char a52d;
    char a52e;
    char a52f;
    char a530;
    char a531;
    char a532;
    char a533;
    char a534;
    char a535;
    char a536;
    char a537;
    char a538;
    char a539;
    char a53a;
    char a53b;
    char a53c;
    char a53d;
    char a53e;
    char a53f;
    char a540;
    char a541;
    char a542;
    char a543;
    char a544;
    char a545;
    char a546;
    char a547;
    char a548;
    char a549;
    char a54a;
    char a54b;
    char a54c;
    char a54d;
    char a54e;
    char a54f;
    char a550;
    char a551;
    char a552;
    char a553;
    char a554;
    char a555;
    char a556;
    char a557;
    char a558;
    char a559;
    char a55a;
    char a55b;
    char a55c;
    char a55d;
    char a55e;
    char a55f;
    char a560;
    char a561;
    char a562;
    char a563;
    char a564;
    char a565;
    char a566;
    char a567;
    char a568;
    char a569;
    char a56a;
    char a56b;
    char a56c;
    char a56d;
    char a56e;
    char a56f;
    char a570;
    char a571;
    char a572;
    char a573;
    char a574;
    char a575;
    char a576;
    char a577;
    char a578;
    char a579;
    char a57a;
    char a57b;
    char a57c;
    char a57d;
    char a57e;
    char a57f;
    char a580;
    char a581;
    char a582;
    char a583;
    char a584;
    char a585;
    char a586;
    char a587;
    char a588;
    char a589;
    char a58a;
    char a58b;
    char a58c;
    char a58d;
    char a58e;
    char a58f;
    char a590;
    char a591;
    char a592;
    char a593;
    char a594;
    char a595;
    char a596;
    char a597;
    char a598;
    char a599;
    char a59a;
    char a59b;
    char a59c;
    char a59d;
    char a59e;
    char a59f;
    char a5a0;
    char a5a1;
    char a5a2;
    char a5a3;
    char a5a4;
    char a5a5;
    char a5a6;
    char a5a7;
    char a5a8;
    char a5a9;
    char a5aa;
    char a5ab;
    char a5ac;
    char a5ad;
    char a5ae;
    char a5af;
    char a5b0;
    char a5b1;
    char a5b2;
    char a5b3;
    char a5b4;
    char a5b5;
    char a5b6;
    char a5b7;
    char a5b8;
    char a5b9;
    char a5ba;
    char a5bb;
    char a5bc;
    char a5bd;
    char a5be;
    char a5bf;
    char a5c0;
    char a5c1;
    char a5c2;
    char a5c3;
    char a5c4;
    char a5c5;
    char a5c6;
    char a5c7;
    char a5c8;
    char a5c9;
    char a5ca;
    char a5cb;
    char a5cc;
    char a5cd;
    char a5ce;
    char a5cf;
    char a5d0;
    char a5d1;
    char a5d2;
    char a5d3;
    char a5d4;
    char a5d5;
    char a5d6;
    char a5d7;
    char a5d8;
    char a5d9;
    char a5da;
    char a5db;
    char a5dc;
    char a5dd;
    char a5de;
    char a5df;
    char a5e0;
    char a5e1;
    char a5e2;
    char a5e3;
    char a5e4;
    char a5e5;
    char a5e6;
    char a5e7;
    char a5e8;
    char a5e9;
    char a5ea;
    char a5eb;
    char a5ec;
    char a5ed;
    char a5ee;
    char a5ef;
    char a5f0;
    char a5f1;
    char a5f2;
    char a5f3;
    char a5f4;
    char a5f5;
    char a5f6;
    char a5f7;
    char a5f8;
    char a5f9;
    char a5fa;
    char a5fb;
    char a5fc;
    char a5fd;
    char a5fe;
    char a5ff;
    char a600;
    char a601;
    char a602;
    char a603;
    char a604;
    char a605;
    char a606;
    char a607;
    char a608;
    char a609;
    char a60a;
    char a60b;
    char a60c;
    char a60d;
    char a60e;
    char a60f;
    char a610;
    char a611;
    char a612;
    char a613;
    char a614;
    char a615;
    char a616;
    char a617;
    char a618;
    char a619;
    char a61a;
    char a61b;
    char a61c;
    char a61d;
    char a61e;
    char a61f;
    char a620;
    char a621;
    char a622;
    char a623;
    char a624;
    char a625;
    char a626;
    char a627;
    char a628;
    char a629;
    char a62a;
    char a62b;
    char a62c;
    char a62d;
    char a62e;
    char a62f;
    char a630;
    char a631;
    char a632;
    char a633;
    char a634;
    char a635;
    char a636;
    char a637;
    char a638;
    char a639;
    char a63a;
    char a63b;
    char a63c;
    char a63d;
    char a63e;
    char a63f;
    char a640;
    char a641;
    char a642;
    char a643;
    char a644;
    char a645;
    char a646;
    char a647;
    char a648;
    char a649;
    char a64a;
    char a64b;
    char a64c;
    char a64d;
    char a64e;
    char a64f;
    char a650;
    char a651;
    char a652;
    char a653;
    char a654;
    char a655;
    char a656;
    char a657;
    char a658;
    char a659;
    char a65a;
    char a65b;
    char a65c;
    char a65d;
    char a65e;
    char a65f;
    char a660;
    char a661;
    char a662;
    char a663;
    char a664;
    char a665;
    char a666;
    char a667;
    char a668;
    char a669;
    char a66a;
    char a66b;
    char a66c;
    char a66d;
    char a66e;
    char a66f;
    char a670;
    char a671;
    char a672;
    char a673;
    char a674;
    char a675;
    char a676;
    char a677;
    char a678;
    char a679;
    char a67a;
    char a67b;
    char a67c;
    char a67d;
    char a67e;
    char a67f;
    char a680;
    char a681;
    char a682;
    char a683;
    char a684;
    char a685;
    char a686;
    char a687;
    char a688;
    char a689;
    char a68a;
    char a68b;
    char a68c;
    char a68d;
    char a68e;
    char a68f;
    char a690;
    char a691;
    char a692;
    char a693;
    char a694;
    char a695;
    char a696;
    char a697;
    char a698;
    char a699;
    char a69a;
    char a69b;
    char a69c;
    char a69d;
    char a69e;
    char a69f;
    char a6a0;
    char a6a1;
    char a6a2;
    char a6a3;
    char a6a4;
    char a6a5;
    char a6a6;
    char a6a7;
    char a6a8;
    char a6a9;
    char a6aa;
    char a6ab;
    char a6ac;
    char a6ad;
    char a6ae;
    char a6af;
    char a6b0;
    char a6b1;
    char a6b2;
    char a6b3;
    char a6b4;
    char a6b5;
    char a6b6;
    char a6b7;
    char a6b8;
    char a6b9;
    char a6ba;
    char a6bb;
    char a6bc;
    char a6bd;
    char a6be;
    char a6bf;
    char a6c0;
    char a6c1;
    char a6c2;
    char a6c3;
    char a6c4;
    char a6c5;
    char a6c6;
    char a6c7;
    char a6c8;
    char a6c9;
    char a6ca;
    char a6cb;
    char a6cc;
    char a6cd;
    char a6ce;
    char a6cf;
    char a6d0;
    char a6d1;
    char a6d2;
    char a6d3;
    char a6d4;
    char a6d5;
    char a6d6;
    char a6d7;
    char a6d8;
    char a6d9;
    char a6da;
    char a6db;
    char a6dc;
    char a6dd;
    char a6de;
    char a6df;
    char a6e0;
    char a6e1;
    char a6e2;
    char a6e3;
    char a6e4;
    char a6e5;
    char a6e6;
    char a6e7;
    char a6e8;
    char a6e9;
    char a6ea;
    char a6eb;
    char a6ec;
    char a6ed;
    char a6ee;
    char a6ef;
    char a6f0;
    char a6f1;
    char a6f2;
    char a6f3;
    char a6f4;
    char a6f5;
    char a6f6;
    char a6f7;
    char a6f8;
    char a6f9;
    char a6fa;
    char a6fb;
    char a6fc;
    char a6fd;
    char a6fe;
    char a6ff;
    char a700;
    char a701;
    char a702;
    char a703;
    char a704;
    char a705;
    char a706;
    char a707;
    char a708;
    char a709;
    char a70a;
    char a70b;
    char a70c;
    char a70d;
    char a70e;
    char a70f;
    char a710;
    char a711;
    char a712;
    char a713;
    char a714;
    char a715;
    char a716;
    char a717;
    char a718;
    char a719;
    char a71a;
    char a71b;
    char a71c;
    char a71d;
    char a71e;
    char a71f;
    char a720;
    char a721;
    char a722;
    char a723;
    char a724;
    char a725;
    char a726;
    char a727;
    char a728;
    char a729;
    char a72a;
    char a72b;
    char a72c;
    char a72d;
    char a72e;
    char a72f;
    char a730;
    char a731;
    char a732;
    char a733;
    char a734;
    char a735;
    char a736;
    char a737;
    char a738;
    char a739;
    char a73a;
    char a73b;
    char a73c;
    char a73d;
    char a73e;
    char a73f;
    char a740;
    char a741;
    char a742;
    char a743;
    char a744;
    char a745;
    char a746;
    char a747;
    char a748;
    char a749;
    char a74a;
    char a74b;
    char a74c;
    char a74d;
    char a74e;
    char a74f;
    char a750;
    char a751;
    char a752;
    char a753;
    char a754;
    char a755;
    char a756;
    char a757;
    char a758;
    char a759;
    char a75a;
    char a75b;
    char a75c;
    char a75d;
    char a75e;
    char a75f;
    char a760;
    char a761;
    char a762;
    char a763;
    char a764;
    char a765;
    char a766;
    char a767;
    char a768;
    char a769;
    char a76a;
    char a76b;
    char a76c;
    char a76d;
    char a76e;
    char a76f;
    char a770;
    char a771;
    char a772;
    char a773;
    char a774;
    char a775;
    char a776;
    char a777;
    char a778;
    char a779;
    char a77a;
    char a77b;
    char a77c;
    char a77d;
    char a77e;
    char a77f;
    char a780;
    char a781;
    char a782;
    char a783;
    char a784;
    char a785;
    char a786;
    char a787;
    char a788;
    char a789;
    char a78a;
    char a78b;
    char a78c;
    char a78d;
    char a78e;
    char a78f;
    char a790;
    char a791;
    char a792;
    char a793;
    char a794;
    char a795;
    char a796;
    char a797;
    char a798;
    char a799;
    char a79a;
    char a79b;
    char a79c;
    char a79d;
    char a79e;
    char a79f;
    char a7a0;
    char a7a1;
    char a7a2;
    char a7a3;
    char a7a4;
    char a7a5;
    char a7a6;
    char a7a7;
    char a7a8;
    char a7a9;
    char a7aa;
    char a7ab;
    char a7ac;
    char a7ad;
    char a7ae;
    char a7af;
    char a7b0;
    char a7b1;
    char a7b2;
    char a7b3;
    char a7b4;
    char a7b5;
    char a7b6;
    char a7b7;
    char a7b8;
    char a7b9;
    char a7ba;
    char a7bb;
    char a7bc;
    char a7bd;
    char a7be;
    char a7bf;
    char a7c0;
    char a7c1;
    char a7c2;
    char a7c3;
    char a7c4;
    char a7c5;
    char a7c6;
    char a7c7;
    char a7c8;
    char a7c9;
    char a7ca;
    char a7cb;
    char a7cc;
    char a7cd;
    char a7ce;
    char a7cf;
    char a7d0;
    char a7d1;
    char a7d2;
    char a7d3;
    char a7d4;
    char a7d5;
    char a7d6;
    char a7d7;
    char a7d8;
    char a7d9;
    char a7da;
    char a7db;
    char a7dc;
    char a7dd;
    char a7de;
    char a7df;
    char a7e0;
    char a7e1;
    char a7e2;
    char a7e3;
    char a7e4;
    char a7e5;
    char a7e6;
    char a7e7;
    char a7e8;
    char a7e9;
    char a7ea;
    char a7eb;
    char a7ec;
    char a7ed;
    char a7ee;
    char a7ef;
    char a7f0;
    char a7f1;
    char a7f2;
    char a7f3;
    char a7f4;
    char a7f5;
    char a7f6;
    char a7f7;
    char a7f8;
    char a7f9;
    char a7fa;
    char a7fb;
    char a7fc;
    char a7fd;
    char a7fe;
    char a7ff;
    char a800;
    char a801;
    char a802;
    char a803;
    char a804;
    char a805;
    char a806;
    char a807;
    char a808;
    char a809;
    char a80a;
    char a80b;
    char a80c;
    char a80d;
    char a80e;
    char a80f;
    char a810;
    char a811;
    char a812;
    char a813;
    char a814;
    char a815;
    char a816;
    char a817;
    char a818;
    char a819;
    char a81a;
    char a81b;
    char a81c;
    char a81d;
    char a81e;
    char a81f;
    char a820;
    char a821;
    char a822;
    char a823;
    char a824;
    char a825;
    char a826;
    char a827;
    char a828;
    char a829;
    char a82a;
    char a82b;
    char a82c;
    char a82d;
    char a82e;
    char a82f;
    char a830;
    char a831;
    char a832;
    char a833;
    char a834;
    char a835;
    char a836;
    char a837;
    char a838;
    char a839;
    char a83a;
    char a83b;
    char a83c;
    char a83d;
    char a83e;
    char a83f;
    char a840;
    char a841;
    char a842;
    char a843;
    char a844;
    char a845;
    char a846;
    char a847;
    char a848;
    char a849;
    char a84a;
    char a84b;
    char a84c;
    char a84d;
    char a84e;
    char a84f;
    char a850;
    char a851;
    char a852;
    char a853;
    char a854;
    char a855;
    char a856;
    char a857;
    char a858;
    char a859;
    char a85a;
    char a85b;
    char a85c;
    char a85d;
    char a85e;
    char a85f;
    char a860;
    char a861;
    char a862;
    char a863;
    char a864;
    char a865;
    char a866;
    char a867;
    char a868;
    char a869;
    char a86a;
    char a86b;
    char a86c;
    char a86d;
    char a86e;
    char a86f;
    char a870;
    char a871;
    char a872;
    char a873;
    char a874;
    char a875;
    char a876;
    char a877;
    char a878;
    char a879;
    char a87a;
    char a87b;
    char a87c;
    char a87d;
    char a87e;
    char a87f;
    char a880;
    char a881;
    char a882;
    char a883;
    char a884;
    char a885;
    char a886;
    char a887;
    char a888;
    char a889;
    char a88a;
    char a88b;
    char a88c;
    char a88d;
    char a88e;
    char a88f;
    char a890;
    char a891;
    char a892;
    char a893;
    char a894;
    char a895;
    char a896;
    char a897;
    char a898;
    char a899;
    char a89a;
    char a89b;
    char a89c;
    char a89d;
    char a89e;
    char a89f;
    char a8a0;
    char a8a1;
    char a8a2;
    char a8a3;
    char a8a4;
    char a8a5;
    char a8a6;
    char a8a7;
    char a8a8;
    char a8a9;
    char a8aa;
    char a8ab;
    char a8ac;
    char a8ad;
    char a8ae;
    char a8af;
    char a8b0;
    char a8b1;
    char a8b2;
    char a8b3;
    char a8b4;
    char a8b5;
    char a8b6;
    char a8b7;
    char a8b8;
    char a8b9;
    char a8ba;
    char a8bb;
    char a8bc;
    char a8bd;
    char a8be;
    char a8bf;
    char a8c0;
    char a8c1;
    char a8c2;
    char a8c3;
    char a8c4;
    char a8c5;
    char a8c6;
    char a8c7;
    char a8c8;
    char a8c9;
    char a8ca;
    char a8cb;
    char a8cc;
    char a8cd;
    char a8ce;
    char a8cf;
    char a8d0;
    char a8d1;
    char a8d2;
    char a8d3;
    char a8d4;
    char a8d5;
    char a8d6;
    char a8d7;
    char a8d8;
    char a8d9;
    char a8da;
    char a8db;
    char a8dc;
    char a8dd;
    char a8de;
    char a8df;
    char a8e0;
    char a8e1;
    char a8e2;
    char a8e3;
    char a8e4;
    char a8e5;
    char a8e6;
    char a8e7;
    char a8e8;
    char a8e9;
    char a8ea;
    char a8eb;
    char a8ec;
    char a8ed;
    char a8ee;
    char a8ef;
    char a8f0;
    char a8f1;
    char a8f2;
    char a8f3;
    char a8f4;
    char a8f5;
    char a8f6;
    char a8f7;
    char a8f8;
    char a8f9;
    char a8fa;
    char a8fb;
    char a8fc;
    char a8fd;
    char a8fe;
    char a8ff;
    char a900;
    char a901;
    char a902;
    char a903;
    char a904;
    char a905;
    char a906;
    char a907;
    char a908;
    char a909;
    char a90a;
    char a90b;
    char a90c;
    char a90d;
    char a90e;
    char a90f;
    char a910;
    char a911;
    char a912;
    char a913;
    char a914;
    char a915;
    char a916;
    char a917;
    char a918;
    char a919;
    char a91a;
    char a91b;
    char a91c;
    char a91d;
    char a91e;
    char a91f;
    char a920;
    char a921;
    char a922;
    char a923;
    char a924;
    char a925;
    char a926;
    char a927;
    char a928;
    char a929;
    char a92a;
    char a92b;
    char a92c;
    char a92d;
    char a92e;
    char a92f;
    char a930;
    char a931;
    char a932;
    char a933;
    char a934;
    char a935;
    char a936;
    char a937;
    char a938;
    char a939;
    char a93a;
    char a93b;
    char a93c;
    char a93d;
    char a93e;
    char a93f;
    char a940;
    char a941;
    char a942;
    char a943;
    char a944;
    char a945;
    char a946;
    char a947;
    char a948;
    char a949;
    char a94a;
    char a94b;
    char a94c;
    char a94d;
    char a94e;
    char a94f;
    char a950;
    char a951;
    char a952;
    char a953;
    char a954;
    char a955;
    char a956;
    char a957;
    char a958;
    char a959;
    char a95a;
    char a95b;
    char a95c;
    char a95d;
    char a95e;
    char a95f;
    char a960;
    char a961;
    char a962;
    char a963;
    char a964;
    char a965;
    char a966;
    char a967;
    char a968;
    char a969;
    char a96a;
    char a96b;
    char a96c;
    char a96d;
    char a96e;
    char a96f;
    char a970;
    char a971;
    char a972;
    char a973;
    char a974;
    char a975;
    char a976;
    char a977;
    char a978;
    char a979;
    char a97a;
    char a97b;
    char a97c;
    char a97d;
    char a97e;
    char a97f;
    char a980;
    char a981;
    char a982;
    char a983;
    char a984;
    char a985;
    char a986;
    char a987;
    char a988;
    char a989;
    char a98a;
    char a98b;
    char a98c;
    char a98d;
    char a98e;
    char a98f;
    char a990;
    char a991;
    char a992;
    char a993;
    char a994;
    char a995;
    char a996;
    char a997;
    char a998;
    char a999;
    char a99a;
    char a99b;
    char a99c;
    char a99d;
    char a99e;
    char a99f;
    char a9a0;
    char a9a1;
    char a9a2;
    char a9a3;
    char a9a4;
    char a9a5;
    char a9a6;
    char a9a7;
    char a9a8;
    char a9a9;
    char a9aa;
    char a9ab;
    char a9ac;
    char a9ad;
    char a9ae;
    char a9af;
    char a9b0;
    char a9b1;
    char a9b2;
    char a9b3;
    char a9b4;
    char a9b5;
    char a9b6;
    char a9b7;
    char a9b8;
    char a9b9;
    char a9ba;
    char a9bb;
    char a9bc;
    char a9bd;
    char a9be;
    char a9bf;
    char a9c0;
    char a9c1;
    char a9c2;
    char a9c3;
    char a9c4;
    char a9c5;
    char a9c6;
    char a9c7;
    char a9c8;
    char a9c9;
    char a9ca;
    char a9cb;
    char a9cc;
    char a9cd;
    char a9ce;
    char a9cf;
    char a9d0;
    char a9d1;
    char a9d2;
    char a9d3;
    char a9d4;
    char a9d5;
    char a9d6;
    char a9d7;
    char a9d8;
    char a9d9;
    char a9da;
    char a9db;
    char a9dc;
    char a9dd;
    char a9de;
    char a9df;
    char a9e0;
    char a9e1;
    char a9e2;
    char a9e3;
    char a9e4;
    char a9e5;
    char a9e6;
    char a9e7;
    char a9e8;
    char a9e9;
    char a9ea;
    char a9eb;
    char a9ec;
    char a9ed;
    char a9ee;
    char a9ef;
    char a9f0;
    char a9f1;
    char a9f2;
    char a9f3;
    char a9f4;
    char a9f5;
    char a9f6;
    char a9f7;
    char a9f8;
    char a9f9;
    char a9fa;
    char a9fb;
    char a9fc;
    char a9fd;
    char a9fe;
    char a9ff;
    char aa00;
    char aa01;
    char aa02;
    char aa03;
    char aa04;
    char aa05;
    char aa06;
    char aa07;
    char aa08;
    char aa09;
    char aa0a;
    char aa0b;
    char aa0c;
    char aa0d;
    char aa0e;
    char aa0f;
    char aa10;
    char aa11;
    char aa12;
    char aa13;
    char aa14;
    char aa15;
    char aa16;
    char aa17;
    char aa18;
    char aa19;
    char aa1a;
    char aa1b;
    char aa1c;
    char aa1d;
    char aa1e;
    char aa1f;
    char aa20;
    char aa21;
    char aa22;
    char aa23;
    char aa24;
    char aa25;
    char aa26;
    char aa27;
    char aa28;
    char aa29;
    char aa2a;
    char aa2b;
    char aa2c;
    char aa2d;
    char aa2e;
    char aa2f;
    char aa30;
    char aa31;
    char aa32;
    char aa33;
    char aa34;
    char aa35;
    char aa36;
    char aa37;
    char aa38;
    char aa39;
    char aa3a;
    char aa3b;
    char aa3c;
    char aa3d;
    char aa3e;
    char aa3f;
    char aa40;
    char aa41;
    char aa42;
    char aa43;
    char aa44;
    char aa45;
    char aa46;
    char aa47;
    char aa48;
    char aa49;
    char aa4a;
    char aa4b;
    char aa4c;
    char aa4d;
    char aa4e;
    char aa4f;
    char aa50;
    char aa51;
    char aa52;
    char aa53;
    char aa54;
    char aa55;
    char aa56;
    char aa57;
    char aa58;
    char aa59;
    char aa5a;
    char aa5b;
    char aa5c;
    char aa5d;
    char aa5e;
    char aa5f;
    char aa60;
    char aa61;
    char aa62;
    char aa63;
    char aa64;
    char aa65;
    char aa66;
    char aa67;
    char aa68;
    char aa69;
    char aa6a;
    char aa6b;
    char aa6c;
    char aa6d;
    char aa6e;
    char aa6f;
    char aa70;
    char aa71;
    char aa72;
    char aa73;
    char aa74;
    char aa75;
    char aa76;
    char aa77;
    char aa78;
    char aa79;
    char aa7a;
    char aa7b;
    char aa7c;
    char aa7d;
    char aa7e;
    char aa7f;
    char aa80;
    char aa81;
    char aa82;
    char aa83;
    char aa84;
    char aa85;
    char aa86;
    char aa87;
    char aa88;
    char aa89;
    char aa8a;
    char aa8b;
    char aa8c;
    char aa8d;
    char aa8e;
    char aa8f;
    char aa90;
    char aa91;
    char aa92;
    char aa93;
    char aa94;
    char aa95;
    char aa96;
    char aa97;
    char aa98;
    char aa99;
    char aa9a;
    char aa9b;
    char aa9c;
    char aa9d;
    char aa9e;
    char aa9f;
    char aaa0;
    char aaa1;
    char aaa2;
    char aaa3;
    char aaa4;
    char aaa5;
    char aaa6;
    char aaa7;
    char aaa8;
    char aaa9;
    char aaaa;
    char aaab;
    char aaac;
    char aaad;
    char aaae;
    char aaaf;
    char aab0;
    char aab1;
    char aab2;
    char aab3;
    char aab4;
    char aab5;
    char aab6;
    char aab7;
    char aab8;
    char aab9;
    char aaba;
    char aabb;
    char aabc;
    char aabd;
    char aabe;
    char aabf;
    char aac0;
    char aac1;
    char aac2;
    char aac3;
    char aac4;
    char aac5;
    char aac6;
    char aac7;
    char aac8;
    char aac9;
    char aaca;
    char aacb;
    char aacc;
    char aacd;
    char aace;
    char aacf;
    char aad0;
    char aad1;
    char aad2;
    char aad3;
    char aad4;
    char aad5;
    char aad6;
    char aad7;
    char aad8;
    char aad9;
    char aada;
    char aadb;
    char aadc;
    char aadd;
    char aade;
    char aadf;
    char aae0;
    char aae1;
    char aae2;
    char aae3;
    char aae4;
    char aae5;
    char aae6;
    char aae7;
    char aae8;
    char aae9;
    char aaea;
    char aaeb;
    char aaec;
    char aaed;
    char aaee;
    char aaef;
    char aaf0;
    char aaf1;
    char aaf2;
    char aaf3;
    char aaf4;
    char aaf5;
    char aaf6;
    char aaf7;
    char aaf8;
    char aaf9;
    char aafa;
    char aafb;
    char aafc;
    char aafd;
    char aafe;
    char aaff;
    char ab00;
    char ab01;
    char ab02;
    char ab03;
    char ab04;
    char ab05;
    char ab06;
    char ab07;
    char ab08;
    char ab09;
    char ab0a;
    char ab0b;
    char ab0c;
    char ab0d;
    char ab0e;
    char ab0f;
    char ab10;
    char ab11;
    char ab12;
    char ab13;
    char ab14;
    char ab15;
    char ab16;
    char ab17;
    char ab18;
    char ab19;
    char ab1a;
    char ab1b;
    char ab1c;
    char ab1d;
    char ab1e;
    char ab1f;
    char ab20;
    char ab21;
    char ab22;
    char ab23;
    char ab24;
    char ab25;
    char ab26;
    char ab27;
    char ab28;
    char ab29;
    char ab2a;
    char ab2b;
    char ab2c;
    char ab2d;
    char ab2e;
    char ab2f;
    char ab30;
    char ab31;
    char ab32;
    char ab33;
    char ab34;
    char ab35;
    char ab36;
    char ab37;
    char ab38;
    char ab39;
    char ab3a;
    char ab3b;
    char ab3c;
    char ab3d;
    char ab3e;
    char ab3f;
    char ab40;
    char ab41;
    char ab42;
    char ab43;
    char ab44;
    char ab45;
    char ab46;
    char ab47;
    char ab48;
    char ab49;
    char ab4a;
    char ab4b;
    char ab4c;
    char ab4d;
    char ab4e;
    char ab4f;
    char ab50;
    char ab51;
    char ab52;
    char ab53;
    char ab54;
    char ab55;
    char ab56;
    char ab57;
    char ab58;
    char ab59;
    char ab5a;
    char ab5b;
    char ab5c;
    char ab5d;
    char ab5e;
    char ab5f;
    char ab60;
    char ab61;
    char ab62;
    char ab63;
    char ab64;
    char ab65;
    char ab66;
    char ab67;
    char ab68;
    char ab69;
    char ab6a;
    char ab6b;
    char ab6c;
    char ab6d;
    char ab6e;
    char ab6f;
    char ab70;
    char ab71;
    char ab72;
    char ab73;
    char ab74;
    char ab75;
    char ab76;
    char ab77;
    char ab78;
    char ab79;
    char ab7a;
    char ab7b;
    char ab7c;
    char ab7d;
    char ab7e;
    char ab7f;
    char ab80;
    char ab81;
    char ab82;
    char ab83;
    char ab84;
    char ab85;
    char ab86;
    char ab87;
    char ab88;
    char ab89;
    char ab8a;
    char ab8b;
    char ab8c;
    char ab8d;
    char ab8e;
    char ab8f;
    char ab90;
    char ab91;
    char ab92;
    char ab93;
    char ab94;
    char ab95;
    char ab96;
    char ab97;
    char ab98;
    char ab99;
    char ab9a;
    char ab9b;
    char ab9c;
    char ab9d;
    char ab9e;
    char ab9f;
    char aba0;
    char aba1;
    char aba2;
    char aba3;
    char aba4;
    char aba5;
    char aba6;
    char aba7;
    char aba8;
    char aba9;
    char abaa;
    char abab;
    char abac;
    char abad;
    char abae;
    char abaf;
    char abb0;
    char abb1;
    char abb2;
    char abb3;
    char abb4;
    char abb5;
    char abb6;
    char abb7;
    char abb8;
    char abb9;
    char abba;
    char abbb;
    char abbc;
    char abbd;
    char abbe;
    char abbf;
    char abc0;
    char abc1;
    char abc2;
    char abc3;
    char abc4;
    char abc5;
    char abc6;
    char abc7;
    char abc8;
    char abc9;
    char abca;
    char abcb;
    char abcc;
    char abcd;
    char abce;
    char abcf;
    char abd0;
    char abd1;
    char abd2;
    char abd3;
    char abd4;
    char abd5;
    char abd6;
    char abd7;
    char abd8;
    char abd9;
    char abda;
    char abdb;
    char abdc;
    char abdd;
    char abde;
    char abdf;
    char abe0;
    char abe1;
    char abe2;
    char abe3;
    char abe4;
    char abe5;
    char abe6;
    char abe7;
    char abe8;
    char abe9;
    char abea;
    char abeb;
    char abec;
    char abed;
    char abee;
    char abef;
    char abf0;
    char abf1;
    char abf2;
    char abf3;
    char abf4;
    char abf5;
    char abf6;
    char abf7;
    char abf8;
    char abf9;
    char abfa;
    char abfb;
    char abfc;
    char abfd;
    char abfe;
    char abff;
    char ac00;
    char ac01;
    char ac02;
    char ac03;
    char ac04;
    char ac05;
    char ac06;
    char ac07;
    char ac08;
    char ac09;
    char ac0a;
    char ac0b;
    char ac0c;
    char ac0d;
    char ac0e;
    char ac0f;
    char ac10;
    char ac11;
    char ac12;
    char ac13;
    char ac14;
    char ac15;
    char ac16;
    char ac17;
    char ac18;
    char ac19;
    char ac1a;
    char ac1b;
    char ac1c;
    char ac1d;
    char ac1e;
    char ac1f;
    char ac20;
    char ac21;
    char ac22;
    char ac23;
    char ac24;
    char ac25;
    char ac26;
    char ac27;
    char ac28;
    char ac29;
    char ac2a;
    char ac2b;
    char ac2c;
    char ac2d;
    char ac2e;
    char ac2f;
    char ac30;
    char ac31;
    char ac32;
    char ac33;
    char ac34;
    char ac35;
    char ac36;
    char ac37;
    char ac38;
    char ac39;
    char ac3a;
    char ac3b;
    char ac3c;
    char ac3d;
    char ac3e;
    char ac3f;
    char ac40;
    char ac41;
    char ac42;
    char ac43;
    char ac44;
    char ac45;
    char ac46;
    char ac47;
    char ac48;
    char ac49;
    char ac4a;
    char ac4b;
    char ac4c;
    char ac4d;
    char ac4e;
    char ac4f;
    char ac50;
    char ac51;
    char ac52;
    char ac53;
    char ac54;
    char ac55;
    char ac56;
    char ac57;
    char ac58;
    char ac59;
    char ac5a;
    char ac5b;
    char ac5c;
    char ac5d;
    char ac5e;
    char ac5f;
    char ac60;
    char ac61;
    char ac62;
    char ac63;
    char ac64;
    char ac65;
    char ac66;
    char ac67;
    char ac68;
    char ac69;
    char ac6a;
    char ac6b;
    char ac6c;
    char ac6d;
    char ac6e;
    char ac6f;
    char ac70;
    char ac71;
    char ac72;
    char ac73;
    char ac74;
    char ac75;
    char ac76;
    char ac77;
    char ac78;
    char ac79;
    char ac7a;
    char ac7b;
    char ac7c;
    char ac7d;
    char ac7e;
    char ac7f;
    char ac80;
    char ac81;
    char ac82;
    char ac83;
    char ac84;
    char ac85;
    char ac86;
    char ac87;
    char ac88;
    char ac89;
    char ac8a;
    char ac8b;
    char ac8c;
    char ac8d;
    char ac8e;
    char ac8f;
    char ac90;
    char ac91;
    char ac92;
    char ac93;
    char ac94;
    char ac95;
    char ac96;
    char ac97;
    char ac98;
    char ac99;
    char ac9a;
    char ac9b;
    char ac9c;
    char ac9d;
    char ac9e;
    char ac9f;
    char aca0;
    char aca1;
    char aca2;
    char aca3;
    char aca4;
    char aca5;
    char aca6;
    char aca7;
    char aca8;
    char aca9;
    char acaa;
    char acab;
    char acac;
    char acad;
    char acae;
    char acaf;
    char acb0;
    char acb1;
    char acb2;
    char acb3;
    char acb4;
    char acb5;
    char acb6;
    char acb7;
    char acb8;
    char acb9;
    char acba;
    char acbb;
    char acbc;
    char acbd;
    char acbe;
    char acbf;
    char acc0;
    char acc1;
    char acc2;
    char acc3;
    char acc4;
    char acc5;
    char acc6;
    char acc7;
    char acc8;
    char acc9;
    char acca;
    char accb;
    char accc;
    char accd;
    char acce;
    char accf;
    char acd0;
    char acd1;
    char acd2;
    char acd3;
    char acd4;
    char acd5;
    char acd6;
    char acd7;
    char acd8;
    char acd9;
    char acda;
    char acdb;
    char acdc;
    char acdd;
    char acde;
    char acdf;
    char ace0;
    char ace1;
    char ace2;
    char ace3;
    char ace4;
    char ace5;
    char ace6;
    char ace7;
    char ace8;
    char ace9;
    char acea;
    char aceb;
    char acec;
    char aced;
    char acee;
    char acef;
    char acf0;
    char acf1;
    char acf2;
    char acf3;
    char acf4;
    char acf5;
    char acf6;
    char acf7;
    char acf8;
    char acf9;
    char acfa;
    char acfb;
    char acfc;
    char acfd;
    char acfe;
    char acff;
    char ad00;
    char ad01;
    char ad02;
    char ad03;
    char ad04;
    char ad05;
    char ad06;
    char ad07;
    char ad08;
    char ad09;
    char ad0a;
    char ad0b;
    char ad0c;
    char ad0d;
    char ad0e;
    char ad0f;
    char ad10;
    char ad11;
    char ad12;
    char ad13;
    char ad14;
    char ad15;
    char ad16;
    char ad17;
    char ad18;
    char ad19;
    char ad1a;
    char ad1b;
    char ad1c;
    char ad1d;
    char ad1e;
    char ad1f;
    char ad20;
    char ad21;
    char ad22;
    char ad23;
    char ad24;
    char ad25;
    char ad26;
    char ad27;
    char ad28;
    char ad29;
    char ad2a;
    char ad2b;
    char ad2c;
    char ad2d;
    char ad2e;
    char ad2f;
    char ad30;
    char ad31;
    char ad32;
    char ad33;
    char ad34;
    char ad35;
    char ad36;
    char ad37;
    char ad38;
    char ad39;
    char ad3a;
    char ad3b;
    char ad3c;
    char ad3d;
    char ad3e;
    char ad3f;
    char ad40;
    char ad41;
    char ad42;
    char ad43;
    char ad44;
    char ad45;
    char ad46;
    char ad47;
    char ad48;
    char ad49;
    char ad4a;
    char ad4b;
    char ad4c;
    char ad4d;
    char ad4e;
    char ad4f;
    char ad50;
    char ad51;
    char ad52;
    char ad53;
    char ad54;
    char ad55;
    char ad56;
    char ad57;
    char ad58;
    char ad59;
    char ad5a;
    char ad5b;
    char ad5c;
    char ad5d;
    char ad5e;
    char ad5f;
    char ad60;
    char ad61;
    char ad62;
    char ad63;
    char ad64;
    char ad65;
    char ad66;
    char ad67;
    char ad68;
    char ad69;
    char ad6a;
    char ad6b;
    char ad6c;
    char ad6d;
    char ad6e;
    char ad6f;
    char ad70;
    char ad71;
    char ad72;
    char ad73;
    char ad74;
    char ad75;
    char ad76;
    char ad77;
    char ad78;
    char ad79;
    char ad7a;
    char ad7b;
    char ad7c;
    char ad7d;
    char ad7e;
    char ad7f;
    char ad80;
    char ad81;
    char ad82;
    char ad83;
    char ad84;
    char ad85;
    char ad86;
    char ad87;
    char ad88;
    char ad89;
    char ad8a;
    char ad8b;
    char ad8c;
    char ad8d;
    char ad8e;
    char ad8f;
    char ad90;
    char ad91;
    char ad92;
    char ad93;
    char ad94;
    char ad95;
    char ad96;
    char ad97;
    char ad98;
    char ad99;
    char ad9a;
    char ad9b;
    char ad9c;
    char ad9d;
    char ad9e;
    char ad9f;
    char ada0;
    char ada1;
    char ada2;
    char ada3;
    char ada4;
    char ada5;
    char ada6;
    char ada7;
    char ada8;
    char ada9;
    char adaa;
    char adab;
    char adac;
    char adad;
    char adae;
    char adaf;
    char adb0;
    char adb1;
    char adb2;
    char adb3;
    char adb4;
    char adb5;
    char adb6;
    char adb7;
    char adb8;
    char adb9;
    char adba;
    char adbb;
    char adbc;
    char adbd;
    char adbe;
    char adbf;
    char adc0;
    char adc1;
    char adc2;
    char adc3;
    char adc4;
    char adc5;
    char adc6;
    char adc7;
    char adc8;
    char adc9;
    char adca;
    char adcb;
    char adcc;
    char adcd;
    char adce;
    char adcf;
    char add0;
    char add1;
    char add2;
    char add3;
    char add4;
    char add5;
    char add6;
    char add7;
    char add8;
    char add9;
    char adda;
    char addb;
    char addc;
    char addd;
    char adde;
    char addf;
    char ade0;
    char ade1;
    char ade2;
    char ade3;
    char ade4;
    char ade5;
    char ade6;
    char ade7;
    char ade8;
    char ade9;
    char adea;
    char adeb;
    char adec;
    char aded;
    char adee;
    char adef;
    char adf0;
    char adf1;
    char adf2;
    char adf3;
    char adf4;
    char adf5;
    char adf6;
    char adf7;
    char adf8;
    char adf9;
    char adfa;
    char adfb;
    char adfc;
    char adfd;
    char adfe;
    char adff;
    char ae00;
    char ae01;
    char ae02;
    char ae03;
    char ae04;
    char ae05;
    char ae06;
    char ae07;
    char ae08;
    char ae09;
    char ae0a;
    char ae0b;
    char ae0c;
    char ae0d;
    char ae0e;
    char ae0f;
    char ae10;
    char ae11;
    char ae12;
    char ae13;
    char ae14;
    char ae15;
    char ae16;
    char ae17;
    char ae18;
    char ae19;
    char ae1a;
    char ae1b;
    char ae1c;
    char ae1d;
    char ae1e;
    char ae1f;
    char ae20;
    char ae21;
    char ae22;
    char ae23;
    char ae24;
    char ae25;
    char ae26;
    char ae27;
    char ae28;
    char ae29;
    char ae2a;
    char ae2b;
    char ae2c;
    char ae2d;
    char ae2e;
    char ae2f;
    char ae30;
    char ae31;
    char ae32;
    char ae33;
    char ae34;
    char ae35;
    char ae36;
    char ae37;
    char ae38;
    char ae39;
    char ae3a;
    char ae3b;
    char ae3c;
    char ae3d;
    char ae3e;
    char ae3f;
    char ae40;
    char ae41;
    char ae42;
    char ae43;
    char ae44;
    char ae45;
    char ae46;
    char ae47;
    char ae48;
    char ae49;
    char ae4a;
    char ae4b;
    char ae4c;
    char ae4d;
    char ae4e;
    char ae4f;
    char ae50;
    char ae51;
    char ae52;
    char ae53;
    char ae54;
    char ae55;
    char ae56;
    char ae57;
    char ae58;
    char ae59;
    char ae5a;
    char ae5b;
    char ae5c;
    char ae5d;
    char ae5e;
    char ae5f;
    char ae60;
    char ae61;
    char ae62;
    char ae63;
    char ae64;
    char ae65;
    char ae66;
    char ae67;
    char ae68;
    char ae69;
    char ae6a;
    char ae6b;
    char ae6c;
    char ae6d;
    char ae6e;
    char ae6f;
    char ae70;
    char ae71;
    char ae72;
    char ae73;
    char ae74;
    char ae75;
    char ae76;
    char ae77;
    char ae78;
    char ae79;
    char ae7a;
    char ae7b;
    char ae7c;
    char ae7d;
    char ae7e;
    char ae7f;
    char ae80;
    char ae81;
    char ae82;
    char ae83;
    char ae84;
    char ae85;
    char ae86;
    char ae87;
    char ae88;
    char ae89;
    char ae8a;
    char ae8b;
    char ae8c;
    char ae8d;
    char ae8e;
    char ae8f;
    char ae90;
    char ae91;
    char ae92;
    char ae93;
    char ae94;
    char ae95;
    char ae96;
    char ae97;
    char ae98;
    char ae99;
    char ae9a;
    char ae9b;
    char ae9c;
    char ae9d;
    char ae9e;
    char ae9f;
    char aea0;
    char aea1;
    char aea2;
    char aea3;
    char aea4;
    char aea5;
    char aea6;
    char aea7;
    char aea8;
    char aea9;
    char aeaa;
    char aeab;
    char aeac;
    char aead;
    char aeae;
    char aeaf;
    char aeb0;
    char aeb1;
    char aeb2;
    char aeb3;
    char aeb4;
    char aeb5;
    char aeb6;
    char aeb7;
    char aeb8;
    char aeb9;
    char aeba;
    char aebb;
    char aebc;
    char aebd;
    char aebe;
    char aebf;
    char aec0;
    char aec1;
    char aec2;
    char aec3;
    char aec4;
    char aec5;
    char aec6;
    char aec7;
    char aec8;
    char aec9;
    char aeca;
    char aecb;
    char aecc;
    char aecd;
    char aece;
    char aecf;
    char aed0;
    char aed1;
    char aed2;
    char aed3;
    char aed4;
    char aed5;
    char aed6;
    char aed7;
    char aed8;
    char aed9;
    char aeda;
    char aedb;
    char aedc;
    char aedd;
    char aede;
    char aedf;
    char aee0;
    char aee1;
    char aee2;
    char aee3;
    char aee4;
    char aee5;
    char aee6;
    char aee7;
    char aee8;
    char aee9;
    char aeea;
    char aeeb;
    char aeec;
    char aeed;
    char aeee;
    char aeef;
    char aef0;
    char aef1;
    char aef2;
    char aef3;
    char aef4;
    char aef5;
    char aef6;
    char aef7;
    char aef8;
    char aef9;
    char aefa;
    char aefb;
    char aefc;
    char aefd;
    char aefe;
    char aeff;
    char af00;
    char af01;
    char af02;
    char af03;
    char af04;
    char af05;
    char af06;
    char af07;
    char af08;
    char af09;
    char af0a;
    char af0b;
    char af0c;
    char af0d;
    char af0e;
    char af0f;
    char af10;
    char af11;
    char af12;
    char af13;
    char af14;
    char af15;
    char af16;
    char af17;
    char af18;
    char af19;
    char af1a;
    char af1b;
    char af1c;
    char af1d;
    char af1e;
    char af1f;
    char af20;
    char af21;
    char af22;
    char af23;
    char af24;
    char af25;
    char af26;
    char af27;
    char af28;
    char af29;
    char af2a;
    char af2b;
    char af2c;
    char af2d;
    char af2e;
    char af2f;
    char af30;
    char af31;
    char af32;
    char af33;
    char af34;
    char af35;
    char af36;
    char af37;
    char af38;
    char af39;
    char af3a;
    char af3b;
    char af3c;
    char af3d;
    char af3e;
    char af3f;
    char af40;
    char af41;
    char af42;
    char af43;
    char af44;
    char af45;
    char af46;
    char af47;
    char af48;
    char af49;
    char af4a;
    char af4b;
    char af4c;
    char af4d;
    char af4e;
    char af4f;
    char af50;
    char af51;
    char af52;
    char af53;
    char af54;
    char af55;
    char af56;
    char af57;
    char af58;
    char af59;
    char af5a;
    char af5b;
    char af5c;
    char af5d;
    char af5e;
    char af5f;
    char af60;
    char af61;
    char af62;
    char af63;
    char af64;
    char af65;
    char af66;
    char af67;
    char af68;
    char af69;
    char af6a;
    char af6b;
    char af6c;
    char af6d;
    char af6e;
    char af6f;
    char af70;
    char af71;
    char af72;
    char af73;
    char af74;
    char af75;
    char af76;
    char af77;
    char af78;
    char af79;
    char af7a;
    char af7b;
    char af7c;
    char af7d;
    char af7e;
    char af7f;
    char af80;
    char af81;
    char af82;
    char af83;
    char af84;
    char af85;
    char af86;
    char af87;
    char af88;
    char af89;
    char af8a;
    char af8b;
    char af8c;
    char af8d;
    char af8e;
    char af8f;
    char af90;
    char af91;
    char af92;
    char af93;
    char af94;
    char af95;
    char af96;
    char af97;
    char af98;
    char af99;
    char af9a;
    char af9b;
    char af9c;
    char af9d;
    char af9e;
    char af9f;
    char afa0;
    char afa1;
    char afa2;
    char afa3;
    char afa4;
    char afa5;
    char afa6;
    char afa7;
    char afa8;
    char afa9;
    char afaa;
    char afab;
    char afac;
    char afad;
    char afae;
    char afaf;
    char afb0;
    char afb1;
    char afb2;
    char afb3;
    char afb4;
    char afb5;
    char afb6;
    char afb7;
    char afb8;
    char afb9;
    char afba;
    char afbb;
    char afbc;
    char afbd;
    char afbe;
    char afbf;
    char afc0;
    char afc1;
    char afc2;
    char afc3;
    char afc4;
    char afc5;
    char afc6;
    char afc7;
    char afc8;
    char afc9;
    char afca;
    char afcb;
    char afcc;
    char afcd;
    char afce;
    char afcf;
    char afd0;
    char afd1;
    char afd2;
    char afd3;
    char afd4;
    char afd5;
    char afd6;
    char afd7;
    char afd8;
    char afd9;
    char afda;
    char afdb;
    char afdc;
    char afdd;
    char afde;
    char afdf;
    char afe0;
    char afe1;
    char afe2;
    char afe3;
    char afe4;
    char afe5;
    char afe6;
    char afe7;
    char afe8;
    char afe9;
    char afea;
    char afeb;
    char afec;
    char afed;
    char afee;
    char afef;
    char aff0;
    char aff1;
    char aff2;
    char aff3;
    char aff4;
    char aff5;
    char aff6;
    char aff7;
    char aff8;
    char aff9;
    char affa;
    char affb;
    char affc;
    char affd;
    char affe;
    char afff;


    static double test(TestConvertImplicitNullCheck t) {
        return t.a000; // char to double conversion with implicit null check of 't'
    }

    public static void main(String[] args) {
        // Warmup to trigger C2 compilation
        TestConvertImplicitNullCheck t = new TestConvertImplicitNullCheck();
        for (int i = 0; i < 50_000; ++i) {
            test(t);
        }
        // implicit null check
        try {
            test(null);
            throw new RuntimeException("Test failed as no NullPointerException is thrown");
        } catch (NullPointerException e) {
            // Expected
        }
    }
}
