def read_int(s, start_position):
 m = _READ_INT_RE.match(s, start_position)
 if (not m):
  raise ReadError('integer', start_position)
 return (int(m.group()), m.end())

def read_int ( s , start_position ) : m = _READ_INT_RE . match ( s , start_position ) if ( not m ) : raise ReadError ( 'integer' , start_position ) return ( int ( m . group ( ) ) , m . end ( ) )
reads n ints from a file .