Input: in F
Output: user