let
name =
"external_derefs"