/*
**    copyright (c) 1995  Birk Huber
*/

int set_mark(void);
int read_mark(int);