:: (Integer, b, c) -> Integer package:regex-tdfa