export function madd4_f32(
    out: usize,
    a: usize,
    b: usize,
    c: usize,