proc gebb_ukernel_edge_int32_x86_SSE4_1[ukernel: static MicroKernel](
    mr`gensym3, nr`gensym3, kc`gensym3: int; alpha`gensym3: int32;
    packedA`gensym3, packedB`gensym3: ptr UncheckedArray[int32];
    beta`gensym3: int32; vC`gensym3: MatrixView[int32]) {.used.}

proc gebb_ukernel_int32_x86_SSE4_1[ukernel: static MicroKernel](kc`gensym2: int;
    alpha`gensym2: int32;
    packedA`gensym2, packedB`gensym2: ptr UncheckedArray[int32];
    beta`gensym2: int32; vC`gensym2: MatrixView[int32]) {.used.}