batch ambeval interpreter is ready
Exercise 4.35 - a nice short 3 or 4 line introduction to using Amb-Eval.