DEFINITION MODULE AdvParse ; PROCEDURE foo ; END AdvParse.