DEFINITION MODULE MOD2; EXPORT QUALIFIED PROC2; PROCEDURE PROC2(); END MOD2.