I just killed pulseaudio, and have sound on another user (not the one running the X session). The user logged in to X has still no sound. This is nuts.