public static Object rgc_buffer_integer(input_port p) { return parseinteger(p.buffer, p.matchstart, p.matchstop, 10); }