Links for pb-checker