Symbol: _IO_marker_difference