CHECK: pi is approximately 3.14