sint_t -> synt_rule_t