Example 27: bouncing-ball