DEFINITION MODULE Info; TYPE InfoTip = CHAR; END Info.