import re


def find_user_mentions(text):
    """
    Given message text, returns what users are mentioned
    (may be empty list)
    """
    # text is of the form "whatever <@UID> and also ..."
    return [x[2:-1] for x in re.findall("<@U[A-Z0-9]+>", text)]