@Specialization protected Object getRestart(int index) { Object result = RErrorHandling.getRestart(index); return result; }