Man pages matching name decbddrefint in section 3:

decbddrefint.3.en

debian 10 / alliance