bounded_loops
