Looks like I didn't test this interactively. The EventHook() code was

broken; it asked for the current thread state when there was none.
Fixed by using the saved event_tstate.