Bounded modified realizability