Define testBitInteger; part of #3489
drwxr-xr-x - libraries