let
name =
"External derefs"