mutable derefs = Zone.bottom