IMPLEMENTATION MODULE Ghost;
END Ghost.