unsigned char foo(unsigned char sel)
{
    // !!! проедполагается, что sel  чётно И sizeof(void*)==2

    // для простоты изложения для AVR в ОЗУ,
    static const void *sw[] = { &&la, &&lb, &&lc };

    void *target = *(void**)((unsigned char*)sw + sel);
    
    goto *target;

    la:
        return 5;
    lb:
        return 8;
    lc:
        return 11;
}

foo:
    mov r30,r24
    ldi r31,lo8(0)
    subi r30,lo8(-(sw.1469))
    sbci r31,hi8(-(sw.1469))
    ld __tmp_reg__,Z+
    ld r31,Z
    mov r30,__tmp_reg__
    ijmp
.L2:
    ldi r24,lo8(5)
    ldi r25,hi8(5)
    ret
.L4:
    ldi r24,lo8(8)
    ldi r25,hi8(8)
    ret
.L5:
    ldi r24,lo8(11)
    ldi r25,hi8(11)
    ret

#define switch_even_in_range(index, ... )   \
            static const unsigned int *sw[] = {__VA_ARGS__};\
            unsigned int *target = *(void**)((unsigned int*)sw + index);\
            goto *target;

interrupt (TIMERB1_VECTOR) Timerb_ccr1(void)
{    
  switch_even_in_range(TBIV, &&def, &&l2, &&l4, &&l6, &&l8, &&l10, &&l12 )
  {
    l2:
        pxTimerB1ccr1expired();
    l4:
        pxTimerB1ccr2expired();
    l6:
        (void)pxMBPortCBTimerExpired();
    l8:
        pxTimerB1ccr4expired();
    l10:
        pxTimerB1ccr5expired();
    l12:
        pxTimerB1ccr6expired();

    def:
  }
}

00002eb0 <Timerb_ccr1>:
2eb0: 0f 12 push r15 ;
2eb2: 0e 12 push r14 ;
2eb4: 0d 12 push r13 ;
2eb6: 0c 12 push r12 ;
2eb8: 05 12 push r5 ;
2eba: 04 12 push r4 ;
2ebc: 05 41 mov r1, r5 ;
2ebe: 35 50 0e 00 add #14, r5 ;#0x000e
2ec2: 21 83 decd r1 ;
2ec4: 04 41 mov r1, r4 ;
2ec6: 1f 42 1e 01 mov &0x011e,r15 ;0x011e
2eca: 0f 5f rla r15 ;
2ecc: 3f 50 04 02 add #516, r15 ;#0x0204
2ed0: a4 4f 00 00 mov @r15, 0(r4) ;
2ed4: 20 44 br @r4 ;
2ed6: 1f 42 ca 03 mov &0x03ca,r15 ;0x03ca
2eda: 8f 12 call r15 ;
2edc: 1f 42 a8 03 mov &0x03a8,r15 ;0x03a8
2ee0: 8f 12 call r15 ;
2ee2: 1f 42 aa 03 mov &0x03aa,r15 ;0x03aa
2ee6: 8f 12 call r15 ;
2ee8: 1f 42 c6 03 mov &0x03c6,r15 ;0x03c6
2eec: 8f 12 call r15 ;
2eee: 1f 42 c4 03 mov &0x03c4,r15 ;0x03c4
2ef2: 8f 12 call r15 ;
2ef4: 1f 42 c2 03 mov &0x03c2,r15 ;0x03c2
2ef8: 8f 12 call r15 ;
2efa: 21 53 incd r1 ;
2efc: 34 41 pop r4 ;
2efe: 35 41 pop r5 ;
2f00: 3c 41 pop r12 ;
2f02: 3d 41 pop r13 ;
2f04: 3e 41 pop r14 ;
2f06: 3f 41 pop r15 ;
2f08: 00 13 reti

#define switch_even_in_range(index, ... )   \
        static const void *sw[] = {__VA_ARGS__};\
        void *target = *(void**)((unsigned char*)sw + index);\
        goto *target; \
        for(int s_e_i_r_I = 0; s_e_i_r_I == 0; s_e_i_r_I = 1)

unsigned moo(unsigned sel)
{
    unsigned result;
    switch_even_in_range(sel, &&la, &&lb, &&lc) {
    la:
        result = 2;
        break;
    lb:
        result = 1;
        break;
    lc:
        result = 11;
    }
    return result;
}

moo:
    mov r31,r25
    mov r30,r24
    subi r30,lo8(-(sw.1367))
    sbci r31,hi8(-(sw.1367))
    ld __tmp_reg__,Z+
    ld r31,Z
    mov r30,__tmp_reg__
    ijmp
.L8:
    ldi r24,lo8(2)
    ldi r25,hi8(2)
    ret
.L10:
    ldi r24,lo8(1)
    ldi r25,hi8(1)
    ret
.L11:
    ldi r24,lo8(11)
    ldi r25,hi8(11)
    ret