valid_gcable/2
     valid_gcable(+Gcable, -Gc)
     

Gc is a valid gcable. I.e., it has not been destroyed. Gc is the real gc.