 `push` does not check boundary conditions. Rename it to `push_unchecked` and make it `unsafe`
pushdoes not check boundary conditions. Rename it topush_uncheckedand make itunsafe