Code concerning user-mode's test has been removed.