1461 	if ((str_has_prefix(str, "onmatch(")) ||  in parse_action()
1462 	    (str_has_prefix(str, "onmax(")) ||  in parse_action()
1463 	    (str_has_prefix(str, "onchange("))) {  in parse_action()
1480 	if ((len = str_has_prefix(str, "key=")) ||  in parse_assignment()
1481 	    (len = str_has_prefix(str, "keys="))) {  in parse_assignment()
1487 	} else if ((len = str_has_prefix(str, "val=")) ||  in parse_assignment()
1488 		   (len = str_has_prefix(str, "vals=")) ||  in parse_assignment()
1489 		   (len = str_has_prefix(str, "values="))) {  in parse_assignment()
1495 	} else if ((len = str_has_prefix(str, "sort="))) {  in parse_assignment()
1501 	} else if (str_has_prefix(str, "name=")) {  in parse_assignment()
1507 	} else if ((len = str_has_prefix(str, "clock="))) {  in parse_assignment()
1516 	} else if ((len = str_has_prefix(str, "size="))) {  in parse_assignment()
3742 	if (str_has_prefix(action_name, "save")) {  in action_parse()
3768 	} else if (str_has_prefix(action_name, "snapshot")) {  in action_parse()
3793 		if (str_has_prefix(action_name, "trace"))  in action_parse()
4853 		if ((len = str_has_prefix(str, "onmatch(")))  in parse_actions()
4855 		else if ((len = str_has_prefix(str, "onmax(")))  in parse_actions()
4857 		else if ((len = str_has_prefix(str, "onchange(")))  in parse_actions()