CMD_INT: ":" = ':'