This looks copy-pasted from somewhere else.  What is `user`?