let
is_ghost x = x.ghost