space between `function(user)` and `{`