public static int rgc_buffer_fixnum( input_port p ) { return parseint( p.buffer, p.matchstart, p.matchstop, 10 ); }