:: atmost ( n! quot: ( ... -- ... ? ) -- ... ) : atmost* ( n quot: ( ... -- ... ? ) -- ... ) over 0 > [ atmost ] [ 2drop ] if ; inline