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