Question: How many students play Works of Widenius?
SQL: SELECT count ( distinct t1.StuID )  FROM Plays_games AS T1 JOIN Video_games AS T2 ON T1.gameid   =   T2.gameid where t2.GName  =  "Works of Widenius"