Listing:

    1  IMPLEMENTATION MODULE Ghost;
*****                         ^ undeclared identifier
    2  END Ghost.

    1 error