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

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

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

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