adding in (rough) execution bound, still loops.
merging in constant-bound