Quadruped locomotion