fn execute_step(grid: &[Vec<bool>]) -> Vec<Vec<bool>>Notable traits for Vec<u8, A>impl<A> Write for Vec<u8, A> where
    A: Allocator