Some documentation
Split out jump and push