Bounded minimization is a useful-way for

[A] generating partial recursive functions

[B] generating more primitive recursive functions

[C] proving whether a primitive recursive function is a total function

[D] proving whether a primitive recursive function is Turning computable