checked writing operations