mi-symbol-cmds.c   [plain text]