def read_int_list(start, end, addr_space):
 return int_list(read_addr_range(start, end, addr_space), (end - start))

def read_int_list ( start , end , addr_space ) : return int_list ( read_addr_range ( start , end , addr_space ) , ( end - start ) )
read a number of pages and split it into integers .