use std::streampos