walk_advance

zero_walk_advance(s): a walk state advanced by the constant vector (dx, dy, dz, dw), read from the includer's params dx, dy, dz and dw. It is the default WALK_STEP of the walk kernel, which declares those params: a walker's path is a straight line, and after k steps it stands at its start plus k times the vector.