convert less-trivial versions of "write_in_full() != len"