//# publish
module 0x1.M {
    foo(
        p1 : u8,
        p2 : u8,
        p3 : u8,
        p4 : u8,
        p5 : u8,
        p6 : u8,
        p7 : u8,
        p8 : u8,
        p9 : u8,
        p10 : u8,
        p11 : u8,
        p12 : u8,
        p13 : u8,
        p14 : u8,
        p15 : u8,
        p16 : u8,
        p17 : u8,
        p18 : u8,
        p19 : u8,
        p20 : u8,
        p21 : u8,
        p22 : u8,
        p23 : u8,
        p24 : u8,
        p25 : u8,
        p26 : u8,
        p27 : u8,
        p28 : u8,
        p29 : u8,
        p30 : u8,
        p31 : u8,
        p32 : u8,
        p33 : u8,
        p34 : u8,
        p35 : u8,
        p36 : u8,
        p37 : u8,
        p38 : u8,
        p39 : u8,
        p40 : u8,
        p41 : u8,
        p42 : u8,
        p43 : u8,
        p44 : u8,
        p45 : u8,
        p46 : u8,
        p47 : u8,
        p48 : u8,
        p49 : u8,
        p50 : u8,
        p51 : u8,
        p52 : u8,
        p53 : u8,
        p54 : u8,
        p55 : u8,
        p56 : u8,
        p57 : u8,
        p58 : u8,
        p59 : u8,
        p60 : u8,
        p61 : u8,
        p62 : u8,
        p63 : u8,
        p64 : u8,
        p65 : u8,
        p66 : u8,
        p67 : u8,
        p68 : u8,
        p69 : u8,
        p70 : u8,
        p71 : u8,
        p72 : u8,
        p73 : u8,
        p74 : u8,
        p75 : u8,
        p76 : u8,
        p77 : u8,
        p78 : u8,
        p79 : u8,
        p80 : u8,
        p81 : u8,
        p82 : u8,
        p83 : u8,
        p84 : u8,
        p85 : u8,
        p86 : u8,
        p87 : u8,
        p88 : u8,
        p89 : u8,
        p90 : u8,
        p91 : u8,
        p92 : u8,
        p93 : u8,
        p94 : u8,
        p95 : u8,
        p96 : u8,
        p97 : u8,
        p98 : u8,
        p99 : u8,
        p100 : u8,
        p101 : u8,
        p102 : u8,
        p103 : u8,
        p104 : u8,
        p105 : u8,
        p106 : u8,
        p107 : u8,
        p108 : u8,
        p109 : u8,
        p110 : u8,
        p111 : u8,
        p112 : u8,
        p113 : u8,
        p114 : u8,
        p115 : u8,
        p116 : u8,
        p117 : u8,
        p118 : u8,
        p119 : u8,
        p120 : u8,
        p121 : u8,
        p122 : u8,
        p123 : u8,
        p124 : u8,
        p125 : u8,
        p126 : u8,
        p127 : u8,
        p128 : 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;
    label b0:
        return;
    }
}
// check: "Keep(EXECUTED)"