Bounded-size memoization tables