use Rf_onintr rather than non-public Rf_jump_to_toplevel