反応というのはprintf("%d\n", user);の出力があるという事か?
その時のuserの値は?