Man pages matching name addbddvarlast in section 3:

addbddvarlast.3.en

debian 10 / alliance