[antlr-interest] specific number of repetitions

[Brian Lewis]

I want to parse something that looks like
4:abcd5:12345

so I want to code something like
field:
  n=integer ':' ('a'..'z' | '0'..'9'){n}

to read exactly n characters after the :. I don't know how to do it,
though. Is there a way?