#include <fstream.hh>
Specialization of underflow: if the character type is char, maybe we can use mmap instead of read.