---marks.c.orig2011-09-0801:18:08.000000000+0800+++marks.c2011-09-0801:18:34.000000000+0800@@-129,6+129,7@@badmark(c)/* * Set a bookmark. */+voidsetmark(c)intc;/* user identifier for bookmark to set */{@@-318,6+319,7@@fprintf_error:/* * Go to a previously set mark. */+voidgomark(c)intc;{