This function runs it's arguments in the user evaluation thread. This thread is the same as the user's eventspace main thread.
Calls f, after switching to the user's thread.