public static void Save(IValueSink sink, ReasonForHaltWrapper value) { Value<ProgramError>.Save(sink, value.Item); }