CHECK: pi is around 3.1415