DMelt example: A dynamic geometry program