pindefs are broken