single-def.exp   [plain text]