Text this: Demand Paging Techniques for Flash Memory Using Compiler Post-Pass Optimizations.