poly_int: MEM_OFFSET and MEM_SIZE