Portability: use stream_position_data/3 to query the (modified)
stream position information.