function main() {
    const foo = Foo { x0: 0, x1: 1, x2: 2, x3: 3, x4: 4, x5: 5, x6: 6, x7: 7, x8: 8, x9: 9, x10: 10, x11: 11, x12: 12, x13: 13, x14: 14, x15: 15, x16: 16, x17: 17, x18: 18, x19: 19, x20: 20, x21: 21, x22: 22, x23: 23, x24: 24, x25: 25, x26: 26, x27: 27, x28: 28, x29: 29, x30: 30, x31: 31, x32: 32, x33: 33, x34: 34, x35: 35, x36: 36, x37: 37, x38: 38, x39: 39, x40: 40, x41: 41, x42: 42, x43: 43, x44: 44, x45: 45, x46: 46, x47: 47, x48: 48, x49: 49, x50: 50, x51: 51, x52: 52, x53: 53, x54: 54, x55: 55, x56: 56, x57: 57, x58: 58, x59: 59, x60: 60, x61: 61, x62: 62, x63: 63, x64: 64, x65: 65, x66: 66, x67: 67, x68: 68, x69: 69, x70: 70, x71: 71, x72: 72, x73: 73, x74: 74, x75: 75, x76: 76, x77: 77, x78: 78, x79: 79, x80: 80, x81: 81, x82: 82, x83: 83, x84: 84, x85: 85, x86: 86, x87: 87, x88: 88, x89: 89, x90: 90, x91: 91, x92: 92, x93: 93, x94: 94, x95: 95, x96: 96, x97: 97, x98: 98, x99: 99, x100: 100, x101: 101, x102: 102, x103: 103, x104: 104, x105: 105, x106: 106, x107: 107, x108: 108, x109: 109, x110: 110, x111: 111, x112: 112, x113: 113, x114: 114, x115: 115, x116: 116, x117: 117, x118: 118, x119: 119, x120: 120, x121: 121, x122: 122, x123: 123, x124: 124, x125: 125, x126: 126, x127: 127, x128: 128, x129: 129, x130: 130, x131: 131, x132: 132, x133: 133, x134: 134, x135: 135, x136: 136, x137: 137, x138: 138, x139: 139, x140: 140, x141: 141, x142: 142, x143: 143, x144: 144, x145: 145, x146: 146, x147: 147, x148: 148, x149: 149, x150: 150, x151: 151, x152: 152, x153: 153, x154: 154, x155: 155, x156: 156, x157: 157, x158: 158, x159: 159, x160: 160, x161: 161, x162: 162, x163: 163, x164: 164, x165: 165, x166: 166, x167: 167, x168: 168, x169: 169, x170: 170, x171: 171, x172: 172, x173: 173, x174: 174, x175: 175, x176: 176, x177: 177, x178: 178, x179: 179, x180: 180, x181: 181, x182: 182, x183: 183, x184: 184, x185: 185, x186: 186, x187: 187, x188: 188, x189: 189, x190: 190, x191: 191, x192: 192, x193: 193, x194: 194, x195: 195, x196: 196, x197: 197, x198: 198, x199: 199, x200: 200, x201: 201, x202: 202, x203: 203, x204: 204, x205: 205, x206: 206, x207: 207, x208: 208, x209: 209, x210: 210, x211: 211, x212: 212, x213: 213, x214: 214, x215: 215, x216: 216, x217: 217, x218: 218, x219: 219, x220: 220, x221: 221, x222: 222, x223: 223, x224: 224, x225: 225, x226: 226, x227: 227, x228: 228, x229: 229, x230: 230, x231: 231, x232: 232, x233: 233, x234: 234, x235: 235, x236: 236, x237: 237, x238: 238, x239: 239, x240: 240, x241: 241, x242: 242, x243: 243, x244: 244, x245: 245, x246: 246, x247: 247, x248: 248, x249: 249, x250: 250, x251: 251, x252: 252, x253: 253, x254: 254, x255: 255 };
    const bar = Foo { x0: 0, x1: 1, x2: 2, x3: 3, x4: 4, x5: 5, x6: 6, x7: 7, x8: 8, x9: 9, x10: 10, x11: 11, x12: 12, x13: 13, x14: 14, x15: 15, x16: 16, x17: 17, x18: 18, x19: 19, x20: 20, x21: 21, x22: 22, x23: 23, x24: 24, x25: 25, x26: 26, x27: 27, x28: 28, x29: 29, x30: 30, x31: 31, x32: 32, x33: 33, x34: 34, x35: 35, x36: 36, x37: 37, x38: 38, x39: 39, x40: 40, x41: 41, x42: 42, x43: 43, x44: 44, x45: 45, x46: 46, x47: 47, x48: 48, x49: 49, x50: 50, x51: 51, x52: 52, x53: 53, x54: 54, x55: 55, x56: 56, x57: 57, x58: 58, x59: 59, x60: 60, x61: 61, x62: 62, x63: 63, x64: 64, x65: 65, x66: 66, x67: 67, x68: 68, x69: 69, x70: 70, x71: 71, x72: 72, x73: 73, x74: 74, x75: 75, x76: 76, x77: 77, x78: 78, x79: 79, x80: 80, x81: 81, x82: 82, x83: 83, x84: 84, x85: 85, x86: 86, x87: 87, x88: 88, x89: 89, x90: 90, x91: 91, x92: 92, x93: 93, x94: 94, x95: 95, x96: 96, x97: 97, x98: 98, x99: 99, x100: 100, x101: 101, x102: 102, x103: 103, x104: 104, x105: 105, x106: 106, x107: 107, x108: 108, x109: 109, x110: 110, x111: 111, x112: 112, x113: 113, x114: 114, x115: 115, x116: 116, x117: 117, x118: 118, x119: 119, x120: 120, x121: 121, x122: 122, x123: 123, x124: 124, x125: 125, x126: 126, x127: 127, x128: 128, x129: 129, x130: 130, x131: 131, x132: 132, x133: 133, x134: 134, x135: 135, x136: 136, x137: 137, x138: 138, x139: 139, x140: 140, x141: 141, x142: 142, x143: 143, x144: 144, x145: 145, x146: 146, x147: 147, x148: 148, x149: 149, x150: 150, x151: 151, x152: 152, x153: 153, x154: 154, x155: 155, x156: 156, x157: 157, x158: 158, x159: 159, x160: 160, x161: 161, x162: 162, x163: 163, x164: 164, x165: 165, x166: 166, x167: 167, x168: 168, x169: 169, x170: 170, x171: 171, x172: 172, x173: 173, x174: 174, x175: 175, x176: 176, x177: 177, x178: 178, x179: 179, x180: 180, x181: 181, x182: 182, x183: 183, x184: 184, x185: 185, x186: 186, x187: 187, x188: 188, x189: 189, x190: 190, x191: 191, x192: 192, x193: 193, x194: 194, x195: 195, x196: 196, x197: 197, x198: 198, x199: 199, x200: 200, x201: 201, x202: 202, x203: 203, x204: 204, x205: 205, x206: 206, x207: 207, x208: 208, x209: 209, x210: 210, x211: 211, x212: 212, x213: 213, x214: 214, x215: 215, x216: 216, x217: 217, x218: 218, x219: 219, x220: 220, x221: 221, x222: 222, x223: 223, x224: 224, x225: 225, x226: 226, x227: 227, x228: 228, x229: 229, x230: 230, x231: 231, x232: 232, x233: 233, x234: 234, x235: 235, x236: 236, x237: 237, x238: 238, x239: 239, x240: 240, x241: 241, x242: 242, x243: 243, x244: 244, x245: 245, x246: 246, x247: 247, x248: 248, x249: 249, x250: 250, x251: 251, x252: 252, x253: 253, x254: 254, x255: 255 };

    return foo.x0 + bar.x255
}

circuit Foo {
    x0: u8,
    x1: u8,
    x2: u8,
    x3: u8,
    x4: u8,
    x5: u8,
    x6: u8,
    x7: u8,
    x8: u8,
    x9: u8,
    x10: u8,
    x11: u8,
    x12: u8,
    x13: u8,
    x14: u8,
    x15: u8,
    x16: u8,
    x17: u8,
    x18: u8,
    x19: u8,
    x20: u8,
    x21: u8,
    x22: u8,
    x23: u8,
    x24: u8,
    x25: u8,
    x26: u8,
    x27: u8,
    x28: u8,
    x29: u8,
    x30: u8,
    x31: u8,
    x32: u8,
    x33: u8,
    x34: u8,
    x35: u8,
    x36: u8,
    x37: u8,
    x38: u8,
    x39: u8,
    x40: u8,
    x41: u8,
    x42: u8,
    x43: u8,
    x44: u8,
    x45: u8,
    x46: u8,
    x47: u8,
    x48: u8,
    x49: u8,
    x50: u8,
    x51: u8,
    x52: u8,
    x53: u8,
    x54: u8,
    x55: u8,
    x56: u8,
    x57: u8,
    x58: u8,
    x59: u8,
    x60: u8,
    x61: u8,
    x62: u8,
    x63: u8,
    x64: u8,
    x65: u8,
    x66: u8,
    x67: u8,
    x68: u8,
    x69: u8,
    x70: u8,
    x71: u8,
    x72: u8,
    x73: u8,
    x74: u8,
    x75: u8,
    x76: u8,
    x77: u8,
    x78: u8,
    x79: u8,
    x80: u8,
    x81: u8,
    x82: u8,
    x83: u8,
    x84: u8,
    x85: u8,
    x86: u8,
    x87: u8,
    x88: u8,
    x89: u8,
    x90: u8,
    x91: u8,
    x92: u8,
    x93: u8,
    x94: u8,
    x95: u8,
    x96: u8,
    x97: u8,
    x98: u8,
    x99: u8,
    x100: u8,
    x101: u8,
    x102: u8,
    x103: u8,
    x104: u8,
    x105: u8,
    x106: u8,
    x107: u8,
    x108: u8,
    x109: u8,
    x110: u8,
    x111: u8,
    x112: u8,
    x113: u8,
    x114: u8,
    x115: u8,
    x116: u8,
    x117: u8,
    x118: u8,
    x119: u8,
    x120: u8,
    x121: u8,
    x122: u8,
    x123: u8,
    x124: u8,
    x125: u8,
    x126: u8,
    x127: u8,
    x128: u8,
    x129: u8,
    x130: u8,
    x131: u8,
    x132: u8,
    x133: u8,
    x134: u8,
    x135: u8,
    x136: u8,
    x137: u8,
    x138: u8,
    x139: u8,
    x140: u8,
    x141: u8,
    x142: u8,
    x143: u8,
    x144: u8,
    x145: u8,
    x146: u8,
    x147: u8,
    x148: u8,
    x149: u8,
    x150: u8,
    x151: u8,
    x152: u8,
    x153: u8,
    x154: u8,
    x155: u8,
    x156: u8,
    x157: u8,
    x158: u8,
    x159: u8,
    x160: u8,
    x161: u8,
    x162: u8,
    x163: u8,
    x164: u8,
    x165: u8,
    x166: u8,
    x167: u8,
    x168: u8,
    x169: u8,
    x170: u8,
    x171: u8,
    x172: u8,
    x173: u8,
    x174: u8,
    x175: u8,
    x176: u8,
    x177: u8,
    x178: u8,
    x179: u8,
    x180: u8,
    x181: u8,
    x182: u8,
    x183: u8,
    x184: u8,
    x185: u8,
    x186: u8,
    x187: u8,
    x188: u8,
    x189: u8,
    x190: u8,
    x191: u8,
    x192: u8,
    x193: u8,
    x194: u8,
    x195: u8,
    x196: u8,
    x197: u8,
    x198: u8,
    x199: u8,
    x200: u8,
    x201: u8,
    x202: u8,
    x203: u8,
    x204: u8,
    x205: u8,
    x206: u8,
    x207: u8,
    x208: u8,
    x209: u8,
    x210: u8,
    x211: u8,
    x212: u8,
    x213: u8,
    x214: u8,
    x215: u8,
    x216: u8,
    x217: u8,
    x218: u8,
    x219: u8,
    x220: u8,
    x221: u8,
    x222: u8,
    x223: u8,
    x224: u8,
    x225: u8,
    x226: u8,
    x227: u8,
    x228: u8,
    x229: u8,
    x230: u8,
    x231: u8,
    x232: u8,
    x233: u8,
    x234: u8,
    x235: u8,
    x236: u8,
    x237: u8,
    x238: u8,
    x239: u8,
    x240: u8,
    x241: u8,
    x242: u8,
    x243: u8,
    x244: u8,
    x245: u8,
    x246: u8,
    x247: u8,
    x248: u8,
    x249: u8,
    x250: u8,
    x251: u8,
    x252: u8,
    x253: u8,
    x254: u8,
    x255: u8
}