" [ + 30 = ] [ 4 * swap 2 * + 74 = ] 2bi and ;"
""
"["
- " 1 30 [a,b] amb 1 30 [a,b] amb"
+ " 1 30 [a..b] amb 1 30 [a..b] amb"
" [ check must-be-true ] [ 2array ] 2bi"
"] bag-of ."
"V{ { 23 7 } }"
" [ + 30 = ] [ 4 * swap 2 * + 74 = ] 2bi and ;"
""
"["
- " 1 30 [a,b] amb 1 30 [a,b] amb"
+ " 1 30 [a..b] amb 1 30 [a..b] amb"
" 2dup check must-be-true"
" \"%d chickens, %d cows\\n\" printf"
" t"