Alloy - CharCounter
character(s) remaining
character(s) remaining
set maxLength to 10
set maxLength to 20
character(s) remaining