intent: Using variables in Python regular expression
rewritten_intent: regular expression for validating string 'user' containing a sequence of characters ending with '-' followed by any number of digits.
snippet: re.compile('{}-\\d*'.format(user))