Task: Text to Code
Input (English): Find the number of users who posted some tweets.
Output (English): SELECT count(DISTINCT UID) FROM tweets