Implements user_return()