On a comparison of Darboux and Riemann integrals in constructive analysis

An example of constructive (in A. A. Markov's sense) real-valued function of one real variable which is integrable by Riemann, but is not integrable by Darboux, is constructed.