Added cast from StreamPos to size_t in pos