some missing pieces for __debugInfo