let
make n = smake
Strategy
.default n