Man pages matching name clearbddsystemrefint in section 3:

clearbddsystemrefint.3.en

debian 10 / alliance