subroutine random_walk_empty
      end