An Android library for cost-effective prefetching.