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