`insert_zeros` is finished (except for unittests)