public void reopen_input_c_string( byte[] s )
{
int len= s.Length;
if (bufsiz < (len + 1)) {
bufsiz = len + 1;
buffer = new byte[len + 1];
}
bufpos= len + 1;
matchstart= 0;
matchstop= 0;
forward= 0;
lastchar= (byte)'\n';
buffer[len]= 0;
--len;
while (0 <= len) {
buffer[len]= s[len];
--len;
}
}