allow the user to impose a bound on the number of low-level operations