A simple constructive geometry program