moved pos() function from rover to spec