DEFINITION MODULE simpledef1 ; PROCEDURE foo ; PROCEDURE foo ; END simpledef1.