let sof_list s l =
    let res = screate_fresh s (List.length l) in
    of_list_aux res.ar 0 l;
    res