// rule_empty