Dead things in #Boehm

Dead things in #Boehm