IMPLEMENTATION MODULE Ghost;
PROCEDURE P;
BEGIN
END P;
END Ghost.