private static void checkInvalidMarkException(Buffer b) { tryCatch(b, typeof(InvalidMarkException), () => { b.Mark(); compact(b); b.Reset(); }); }