(todo: fix segfault on MRInterResult::restore)