public synchronized void mark(int readlimit) {marklimit = readlimit;markpos = pos;}

public synchronized void mark ( int readlimit ) { marklimit = readlimit ; markpos = pos ; }
public override void mark(int readlimit){lock (this){marklimit = readlimit;markpos = pos;}}
