let sof_std strategy ar = sinit strategy (Weak.length ar) (Weak.get ar)