Add reverse_readfile, which is much faster.